Leanprover Community

Leanprover Community

A collection of 1 templates, themes and UI Kits by the author Leanprover Community.

screenshot of Mathlib3

Lean 3's obsolete mathematical components library: please use mathlib4