Giters
adelon

adelon

Geek Repo

0

followers

0

following

0

stars

Location:0° 0′ 0″ N, 0° 0′ 0″ E

Home Page:adelon.net

Github PK Tool:Github PK Tool

adelon's repositories

naproche-zf

Experimental natural theorem prover with a controlled natural language as input language and proof automation powered by automated theorem provers

Language:HaskellLicense:NOASSERTIONStargazers:2Issues:0Issues:0

adelon.github.io

Personal website

Language:HTMLStargazers:0Issues:1Issues:0

europroofnet.github.io

Sources of the EuroProofNet web site.

Language:RubyStargazers:0Issues:0Issues:0

lucid-math

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

mathlib4

The math library of Lean 4

Language:LeanLicense:Apache-2.0Stargazers:0Issues:0Issues:0

theoremprover-museum.github.io

Language:HTMLLicense:GPL-3.0Stargazers:0Issues:0Issues:0