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