Facts
- Latest version
- 0.198 (August 7, 2021)
- Kind
- proof assistant, proof verifier, proof language, free software, website
- Designed by
- Norman D. Megill
- Licence
- GNU General Public License
- Operating system
- Microsoft Windows, macOS, Linux
Sources: Wikidata (CC0) · Wikidata Q6822975