-
tax-avoidance-skill Public
Normie-focused Codex and Claude Cowork tax copilot for simple U.S. federal returns.
Python MIT License UpdatedMar 24, 2026 -
ACL2Lean Public
ACL2-to-Lean4 bridge with parser, evaluator, translator, and proving tactics
-
linear_canonical_transform Public
Mathematical transformations and signal processing in TeX
-
iris-lean Public
Forked from leanprover-community/iris-leanLean 4 port of Iris, a higher-order concurrent separation logic framework
Lean Apache License 2.0 UpdatedMar 20, 2026 -
confusing-parens Public
Lean 4 linter for readability-driven redundant parentheses
-
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
Lean Apache License 2.0 UpdatedMar 20, 2026 -
knuth-mmix Public
Lean 4 package for assembling and executing a BitVec-backed subset of Knuth's MMIX ISA.
Lean MIT License UpdatedMar 20, 2026 -
leaff Public
Forked from alexjbest/leaffLeaff is a diff tool for Lean environments
Lean Apache License 2.0 UpdatedMar 20, 2026 -
tinygrad Public
Forked from tinygrad/tinygradYou like pytorch? You like micrograd? You love tinygrad! ❤️
-
lean4-skills Public
Forked from cameronfreer/lean4-skillsClaude skills for Lean 4 theorem proving
Shell MIT License UpdatedMar 14, 2026 -
lean-lsp-mcp Public
Forked from oOo0oOo/lean-lsp-mcpLean Theorem Prover MCP
Python MIT License UpdatedMar 11, 2026 -
qedcad Public
Cylindrical Algebraic Decomposition in Lean 4 (ported from Python)
-
verso Public
Forked from leanprover/versoLean documentation authoring tool
Lean Apache License 2.0 UpdatedMar 7, 2026 -
Law Public
Lean-first OpenClaw-style runtime with strict prompt caching
Lean Other UpdatedFeb 20, 2026 -
-
-
-
-
-
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
Lean Apache License 2.0 UpdatedJan 12, 2026 -
-
-
reference-manual Public
Forked from leanprover/reference-manualThe Lean reference manual
-
-
LeanPlot Public
Interactive React-powered charting library for Lean 4 in VS Code's infoview
-
-
radar Public
Forked from leanprover/radar"Do you know how fast you were going?"
Java UpdatedJan 4, 2026 -
lean4lean Public
Forked from digama0/lean4leanLean 4 kernel / 'external checker' written in Lean 4
Lean Apache License 2.0 UpdatedJan 4, 2026 -
shellcheck Public
Forked from koalaman/shellcheckShellCheck, a static analysis tool for shell scripts
Lean GNU General Public License v3.0 UpdatedJan 2, 2026 -
analysis Public
Forked from teorth/analysisA Lean companion to Analysis I
{{ message }}