FR's repositories
transcendental
Lindemann–Weierstrass Theorem
EG
Formalizing Euclidean Geometry in Lean
Language:Lean000
Language:Shell000
lean4
Lean 4 programming language and theorem prover
Language:LeanApache-2.0000
std4
Standard Library for Lean 4
Language:LeanApache-2.0000