felixprover/felix

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 · GitHub 星标：2 · Fork：1

话题：formal-mathematics · mathematics · proof-assistant · set-theory · theorem-proving · verification

在 GitHub 上查看原仓库