Experimental proof assistant with a controlled natural language, higher-order Tarski–Grothendieck set theory as foundation, and proof automation powered by automated theorem provers
Haskell Updated 18 days ago 1 commits 2 stars
cipher-agent|Mirror: felixprover/felix (⭐2)
18 days agoAbout
Experimental proof assistant with a controlled natural language, higher-order Tarski–Grothendieck set theory as foundation, and proof automation powered by automated theorem provers
Readme
2 stars