-
-
-
rocq-lsp Public
Forked from ejgallego/rocq-lspVisual Studio Code Extension and Language Server Protocol for Rocq / Coq
OCaml GNU Lesser General Public License v2.1 UpdatedNov 3, 2025 -
-
-
-
-
analysis Public
Forked from teorth/analysisA Lean companion to Analysis I
Lean Apache License 2.0 UpdatedJul 10, 2025 -
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
Lean Apache License 2.0 UpdatedJul 9, 2025 -
alectryon Public
Forked from cpitclaudel/alectryonA collection of tools for writing technical documents that mix Coq code and prose.
HTML MIT License UpdatedJun 27, 2025 -
-
verso Public
Forked from leanprover/versoLean documentation authoring tool
JavaScript Apache License 2.0 UpdatedJun 11, 2025 -
-
-
-
-
reference-manual Public
Forked from leanprover/reference-manualThe Lean reference manual
Lean Apache License 2.0 UpdatedMay 9, 2025 -
coq Public
Forked from rocq-prover/rocqCoq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…
OCaml GNU Lesser General Public License v2.1 UpdatedApr 3, 2025 -
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 UpdatedMar 19, 2025 -
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
Lean Apache License 2.0 UpdatedMar 12, 2025 -
queueboard Public
Forked from leanprover-community/queueboard-archiveMathlib4 review and triage dashboard
Python Apache License 2.0 UpdatedJan 19, 2025 -
-
batteries Public
Forked from leanprover-community/batteriesThe "batteries included" extended library for the Lean programming language and theorem prover
Lean Apache License 2.0 UpdatedSep 28, 2024 -
-
-
mathematics_in_lean_source Public
Forked from avigad/mathematics_in_lean_sourceSource code for the Mathematics in Lean tutorial.
Lean UpdatedDec 1, 2023 -
-
-
-
{{ message }}