-
-
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 UpdatedApr 13, 2026 -
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
Lean Apache License 2.0 UpdatedApr 13, 2026 -
PrimeNumberTheoremAnd Public
Forked from AlexKontorovich/PrimeNumberTheoremAndBlueprint for the PNT+ Project
Lean Apache License 2.0 UpdatedApr 13, 2026 -
-
PrimeCert Public
Forked from b-mehta/PrimeCertFormal prime certificates in Lean 4
Lean UpdatedMar 22, 2026 -
-
Noperthedron Public
Forked from jcreedcmu/NoperthedronThe Noperthedron does not have Rupert Property: a proof in Lean4
Lean Apache License 2.0 UpdatedFeb 20, 2026 -
-
SwiftLint Public
Forked from realm/SwiftLintA tool to enforce Swift style and conventions.
Swift MIT License UpdatedFeb 13, 2026 -
-
-
-
-
compfiles Public
Forked from dwrensha/compfilesCatalog Of Math Problems Formalized In Lean
Lean Apache License 2.0 UpdatedMay 28, 2025 -
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
Lean Apache License 2.0 UpdatedMay 20, 2025 -
LeanTeX-mathlib Public
Forked from kmill/LeanTeX-mathlibLeanTeX pretty printers for mathlib
Lean Apache License 2.0 UpdatedMay 18, 2025 -
LeanTeX Public
Forked from kmill/LeanTeXLean 4 library for pretty printing expressions as LaTeX
Lean Apache License 2.0 UpdatedMay 18, 2025 -
matharena Public
Forked from eth-sri/matharenaEvaluation of LLMs on latest math competitions
Python MIT License UpdatedMay 15, 2025 -
-
formalising-mathematics-2024 Public
Forked from ImperialCollegeLondon/formalising-mathematics-2024Formalising Mathematics; a course for undergraduate mathematicians. Running January to March 2024.
Lean Apache License 2.0 UpdatedJan 7, 2025 -
-
equational_theories Public
Forked from teorth/equational_theoriesA project to map out the relations between different equational theories of Magmas.
C Apache License 2.0 UpdatedDec 30, 2024 -
LeanCopilot Public
Forked from lean-dojo/LeanCopilotLLMs as Copilots for Theorem Proving in Lean
C++ MIT License UpdatedDec 30, 2024 -
swift-book Public
Forked from swiftlang/swift-bookThe Swift Programming Language book
Markdown Apache License 2.0 UpdatedNov 21, 2024 -
swift Public
Forked from swiftlang/swiftThe Swift Programming Language
C++ Apache License 2.0 UpdatedMay 26, 2024 -
-
-
-
{{ message }}