MINLOG
Minlog is an interactive proof system developed by
Proof assistant · mathematik.uni-muenchen.de
Open MINLOG in AirStackWhat MINLOG’s own pages say
| What it says it does | Minlog is an interactive proof system developed by mathematik.uni-muenchen.de |
|---|---|
| Platforms | Linux, Mac OS X, Unix, Windows mathematik.uni-muenchen.de |
| Integrations | Emacs mathematik.uni-muenchen.de |
Each value is a quote AirStack found on the product’s own pages, read 2026-11-05. A missing field means AirStack has not found it on its pages.