Description
Formal mathematical proofs can be written, archived, and verified in a simple computer-processable language. It is useful for researchers, students, and formal-methods users who need machine-checkable proof libraries.
This Git package is a formal proof tool, not a calculator. Proof meaning still depends on correct formalization and human understanding of the mathematics involved.