Komyyy
Follow
-
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
Lean Apache License 2.0 UpdatedMar 5, 2026 -
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 4, 2026 -
legacy-cc Public
This repository preserves the `cc` tactic that was once in Mathlib
-
batteries Public
Forked from leanprover-community/batteriesStandard Library for Lean 4
Lean Apache License 2.0 UpdatedJan 20, 2026 -
CLT Public
Forked from RemyDegenne/CLTCentral limit theorem in Lean
TeX Apache License 2.0 UpdatedJan 11, 2026 -
PhysLean Public
Forked from leanprover-community/physlibA project to digitalise results from physics into Lean.
Lean Apache License 2.0 UpdatedDec 23, 2025 -
aesop Public
Forked from leanprover-community/aesopWhite-box automation for Lean 4
Lean Apache License 2.0 UpdatedJul 23, 2025 -
vscode-lean4 Public
Forked from leanprover/vscode-lean4Visual Studio Code extension for the Lean 4 proof assistant
TypeScript Apache License 2.0 UpdatedJul 14, 2025 -
zulip-flutter Public
Forked from zulip/zulip-flutterUpcoming Zulip mobile apps for Android and iOS, using Flutter
Dart Apache License 2.0 UpdatedJul 14, 2025 -
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
Lean Apache License 2.0 UpdatedJun 18, 2025 -
zulip Public
Forked from zulip/zulipZulip server and web application. Open-source team chat that helps teams stay productive and focused.
Python Apache License 2.0 UpdatedJun 6, 2025 -
doc-gen4 Public
Forked from leanprover/doc-gen4Document Generator for Lean 4
Lean Apache License 2.0 UpdatedJan 10, 2025