negiizhao

FR's repositories

Verified efficient algorithms in Lean4.

Language:LeanApache-2.012 1 6

Lindemann–Weierstrass Theorem

Language:Lean10 10

Language:Lean2 10

Two weeks ago I wrote about some basic resultant theory (maybe in a bad way...) Just upload it.

Language:Lean1 10

Formalizing Euclidean Geometry in Lean

Language:Lean000

Language:Shell000

Lean 4 programming language and theorem prover

Language:LeanApache-2.0000

Standard Library for Lean 4

Language:LeanApache-2.0000