Ulrich Berger
Minlog
The Interactive Proof System
Minlog
has been developed by the
Logic Group
of the
Department of Mathematics
at the
University of Munich.
Minlog is implemented in the functional programming language
Scheme.
How to run Minlog in the Linux lab
-
Insert the content of
this file
into your file .emacs
-
Select in your filemanager the executable file
/compsci/saturn/staff/csulrich/bin/Minlog
and copy it to your desktop.
Now the Minlog system is loaded and you may start your own proof.
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.