The Interactive Proof System
has been developed by the
Department of Mathematics
University of Munich.
Minlog is implemented in the functional programming language
How to run Minlog in the Linux lab
Now the Minlog system is loaded and you may start your own proof.
Insert the content of
into your file .emacs
Select in your filemanager the executable file
and copy it to your desktop.
As a quick introduction into Minlog you may try this
short Minlog tutorial.
It contains proof tactics for some simple example problems highlighting
essential features of Minlog.