Ulrich Berger


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

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.