-
fermats-last-theorem Public
Forked from anthropics/fermats-last-theorem -
-
lean4 Public
Forked from leanprover/lean4Lean4 work in progress repo
Lean Apache License 2.0 UpdatedJul 22, 2026 -
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
Lean Apache License 2.0 UpdatedJul 15, 2026 -
ProofWidgets4 Public
Forked from leanprover-community/ProofWidgets4Helper toolkit for creating your own Lean 4 UserWidgets
Lean Apache License 2.0 UpdatedJul 10, 2026 -
kraken Public
Forked from AeneasVerif/krakenx64 semantics in Lean
Lean MIT License UpdatedMay 3, 2026 -
zerocopy Public
Forked from google/zerocopyZerocopy makes zero-cost memory manipulation effortless. We write `unsafe` so you don’t have to.
Rust Apache License 2.0 UpdatedApr 19, 2026 -
plausible Public
Forked from leanprover-community/plausibleLean Apache License 2.0 UpdatedApr 10, 2026 -
-
-
oleandump Public
Forked from digama0/oleandumpA type-aware olean tparser for Lean 4 olean files
Lean UpdatedFeb 5, 2026 -
quote4 Public
Forked from leanprover-community/quote4Intuitive, type-safe expression quotations for Lean 4.
Lean Apache License 2.0 UpdatedDec 11, 2025 -
LeanSearchClient Public
Forked from leanprover-community/LeanSearchClientSyntax for searching with natural language from Lean, using https://leansearch.net/ (may extend to other services)
Lean Apache License 2.0 UpdatedOct 21, 2025 -
elan Public
Forked from leanprover/elanA Lean version manager
-
import-graph Public
Forked from leanprover-community/import-graphTool to analyse the import structure of lean projects.
Lean Apache License 2.0 UpdatedOct 1, 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 19, 2025 -
nixprof Public
A Nix build graph profiler
-
aeneas Public
Forked from AeneasVerif/aeneasA verification toolchain for Rust programs
OCaml Apache License 2.0 UpdatedJul 1, 2025 -
-
-
lean-infra Public archive
NixOS config for Lean-related services I maintain
-
verbose-lean4 Public
Forked from PatrickMassot/verbose-lean4Natural language tactics to teach mathematics using Lean 4
Lean Apache License 2.0 UpdatedApr 9, 2025 -
loogle Public
Forked from nomeata/loogleMathlib search tool
Lean Apache License 2.0 UpdatedApr 4, 2025 -
aesop Public
Forked from leanprover-community/aesopWhite-box automation for Lean 4
Lean Apache License 2.0 UpdatedMar 6, 2025 -
do-supplement Public
Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"
-
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
Nix MIT License UpdatedJan 6, 2025 -
test-summary Public
Forked from test-summary/actionShow a helpful summary of test results in GitHub Actions CI/CD workflow runs
TypeScript MIT License UpdatedMar 25, 2024 -
leanprover.github.io Public
Forked from leanprover/leanprover.github.iowww
Lean MIT License UpdatedJan 11, 2024 -
python-zulip-api Public
Forked from zulip/python-zulip-apiPython Apache License 2.0 UpdatedJan 11, 2024 -
mathport Public
Forked from leanprover-community/mathportWIP tool for translating `.lean` files from lean3 to lean4
Lean Apache License 2.0 UpdatedOct 21, 2023
{{ message }}