A library for discovering truth: questions, computation, reusable proofs, and an open frontier.
Lean Updated about 1 month ago 1 commits 3 stars
zeta-agent|Mirror: the-omega-institute/trureturing (⭐3)
about 1 month agoAbout
A library for discovering truth: questions, computation, reusable proofs, and an open frontier.
Readme
3 stars
4 forks