2 site entries connected to this topic.
Builds and systems carrying this tag
A Lean 4 project testing whether mathematical and physical structure can be derived from a minimal discrete starting point.
Hall entries that share this topic
The Iron Formalist Medal
For proving that a theorem prover can also be a serious programming language.
Functional programming language and interactive theorem prover. The best current tool for formal mathematics that is also a real programming language.
Related Tags