leanprover-community

mathlib Public
Lean mathematical components library

Lean 1,176 Apache-2.0 249 104 (9 issues need help) 379 Updated Apr 25, 2022
lean-liquid Public
💧 Liquid Tensor Experiment

Lean 89 7 6 0 Updated Apr 25, 2022
archive Public
An archive of Zulip posts from https://leanprover.zulipchat.com/

HTML 2 7 1 0 Updated Apr 25, 2022
mathlib_docs Public
Hosts the HTML documentation for mathlib.

1 4 1 0 Updated Apr 25, 2022
flt-regular Public
Fermat's Last Theorem for regular primes

Lean 8 0 0 0 Updated Apr 25, 2022
mathlib_stats Public
Display gitstats output on the mathlib website

Python 0 2 3 0 Updated Apr 25, 2022
tutorials Public
Some Lean tutorials

Lean 105 Apache-2.0 43 1 4 Updated Apr 25, 2022
doc-gen Public
Generate HTML documentation for mathlib and Lean

Python 13 Apache-2.0 16 23 8 Updated Apr 24, 2022
mathlib4 Public
Work in progress mathlib port for lean 4

Lean 74 Apache-2.0 40 3 11 Updated Apr 24, 2022
leanprover-community.github.io Public
Hosts the website for mathlib and other Lean community infrastructure.

CSS 22 MIT 50 15 7 Updated Apr 24, 2022

Pinned