leanprover-community's repositories
mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
ProofWidgets4
Helper toolkit for creating your own Lean 4 UserWidgets
lean4-mode
Emacs major mode for Lean 4
leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
flt-regular
Fermat's Last Theorem for regular primes
sphere-eversion
Formalization of the existence of sphere eversions
tutorials4
Lean 4 tutorial files
leancrawler
An obsolete python library which gathers statistics and relational information about Lean 3 libraries.
mathlib3port
Synport output from mathport for mathlib3
highlightjs-lean
A highlight.js language grammar for the Lean theorem proving language.
import-graph
Tool to analyse the import structure of lean projects.
mathlib_stats
Display gitstats output on the mathlib website