-
-
loogle-lean Public
Forked from Shreyas4991/loogle-leanTypeScript Apache License 2.0 UpdatedNov 29, 2023 -
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
Lean Apache License 2.0 UpdatedOct 27, 2023 -
blog Public
Forked from leanprover-community/blogSource for the community blog
Python UpdatedSep 11, 2022 -
-
-
doc-gen Public
Forked from leanprover-community/doc-genGenerate HTML documentation for mathlib and Lean
Python Apache License 2.0 UpdatedJan 28, 2022 -
-
leanprover-community.github.io Public
Forked from leanprover-community/leanprover-community.github.ioHosts the website for mathlib and other Lean community infrastructure.
CSS MIT License UpdatedJan 12, 2022 -
alectryon Public
Forked from cpitclaudel/alectryonA collection of tools for writing technical documents that mix Coq code and prose.
HTML MIT License UpdatedOct 1, 2021 -
-
lean Public
Forked from leanprover-community/leanLean Theorem Prover
C++ Apache License 2.0 UpdatedSep 2, 2021 -
-
lean-liquid Public
Forked from leanprover-community/lean-liquid💧 Liquid Tensor Experiment
Lean UpdatedJun 30, 2021 -
LaTeX-Workshop Public
Forked from James-Yu/LaTeX-WorkshopBoost LaTeX typesetting efficiency with preview, compile, autocomplete, colorize, and more.
TypeScript MIT License UpdatedJun 27, 2021 -
sphere-eversion Public
Forked from leanprover-community/sphere-eversionFormalization of the existence of sphere eversions
TeX UpdatedMay 29, 2021
{{ message }}