GitHub Trending Lean

A project to digitalise results from physics into Lean.

Lean695162Built by

The math library of Lean 4

Lean3,8851,601Built by

Lean 4 programming language and theorem prover

Lean8,833940Built by

A Lean companion to Analysis I

Lean1,863260Built by