theoremprover-museum/egal

Chad Brown’s Egal, a theorem prover for higher-order Tarski–Grothendieck set theory

语言：OCaml · GitHub 星标：4 · Fork：1

话题：higher-order-logic · proof-assistant · set-theory · theorem-prover · theorem-proving · verification

在 GitHub 上查看原仓库