The programatica tools

Download programatica

P-logic syntax

Samle source files (unpack with tar xzvf pfetest.tgz)

Usage of the tools

Proof editor Alfa

Download Alfa

If you want to use the local installation in Bremen, use (preferably in your .bashrc):

export PROGRAMATICA=/home/linux-bkb/programatica/lib/Programatica
export PATH=/home/linux-bkb/programatica/bin:$PATH

pfesetup test0.hs
pfebrowser