adelon

0° 0′ 0″ N, 0° 0′ 0″ E

Pinned Repositories

adelon.github.io
Personal website
Language:HTML0 1 00
europroofnet.github.io
Sources of the EuroProofNet web site.
Language:Ruby0 0 00
lucid
Clear to write, read and edit DSL for writing HTML
Language:Haskell00
lucid-math
Language:Haskell0 1 00
mathlib4
The math library of Lean 4
Language:Lean0 0 00
naproche-zf
Experimental natural theorem prover with a controlled natural language as input language and proof automation powered by automated theorem provers
Language:Haskell4 2 01
theoremprover-museum.github.io
Language:HTML0 0 00
naproche
Write formal proofs in natural language and LaTeX.
Language:Haskell32 9 66

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
Language:Haskell4 2 01
adelon/adelon.github.io
Personal website
Language:HTML0 1 00
adelon/europroofnet.github.io
Sources of the EuroProofNet web site.
Language:Ruby0 0 00
adelon/lucid
Clear to write, read and edit DSL for writing HTML
Language:Haskell00
adelon/lucid-math
Language:Haskell0 1 00
adelon/mathlib4
The math library of Lean 4
Language:Lean0 0 00
adelon/theoremprover-museum.github.io
Language:HTML0 0 00