FR-vdash-bot

FR's repositories

Verified efficient algorithms in Lean4.

Language:LeanApache-2.01900

Lindemann–Weierstrass Theorem

Language:Lean10 10

200

Language:Lean2 10

Lean 4 programming language and theorem prover

Language:LeanApache-2.0100

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

Language:Lean100

Standard Library for Lean 4

Language:LeanApache-2.0100

Formalizing Euclidean Geometry in Lean

Language:Lean000

Language:Shell000