Pinned Repositories
adelon.github.io
Personal website
europroofnet.github.io
Sources of the EuroProofNet web site.
naproche-zf
Experimental natural theorem prover with a controlled natural language as input language and proof automation powered by automated theorem provers
theoremprover-museum.github.io
FLib
A library of (checked) mathematical texts
naproche
Write formal proofs in natural language and LaTeX.
egal
Chad Brown’s Egal, a theorem prover for higher-order Tarski–Grothendieck set theory
theoremprover-museum.github.io
adelon's Repositories
adelon/naproche-zf
Experimental natural theorem prover with a controlled natural language as input language and proof automation powered by automated theorem provers
adelon/adelon.github.io
Personal website
adelon/europroofnet.github.io
Sources of the EuroProofNet web site.
adelon/theoremprover-museum.github.io