A corpus of machine-checked formalizations across all domains of human knowledge. Medicine, law, games, history, protocols, and beyond. Each entry proves its claims in Coq.
"If I have seen further, it is by standing on the shoulders of giants." — Isaac Newton, 1675
Author: Charles C. Norton
Date: January 1, 2026
License: MIT
See MANIFEST.md for historical context.
See INDEX.md for the catalog of formalizations.