GitHub Trending Lean This Month

The math library of Lean 4

Lean3,8851,601Built by

A collection of formalized statements of conjectures in Lean.

Lean1,186414Built by

Lean 4 programming language and theorem prover

Lean8,834940Built by

The "batteries included" extended library for the Lean programming language and theorem prover

Lean415158Built by

No repository description provided.

Lean11428Built by

Syntax for searching with natural language from Lean, using https://leansearch.net/ (may extend to other services)

Lean3510Built by

A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.

Lean11828Built by

Intuitive, type-safe expression quotations for Lean 4.

Lean11126Built by

White-box automation for Lean 4

Lean39759Built by

Helper toolkit for creating your own Lean 4 UserWidgets

Lean22147Built by

A Lean companion to Analysis I

Lean1,863260Built by

Lean documentation authoring tool

Lean374120Built by

A project to digitalise results from physics into Lean.

Lean695162Built by

Formally verified smart contracts gives mathematical certainty across all inputs and execution paths. We bet that agents will make full formal verification practical.

Lean14418Built by