A Python interface to the Lean 4 kernel — designed for AI–Lean interactive automated theorem proving and related research. PyLeaner provides a production-ready bridge between Python and Lean's internals.
GitHub repository with 14 stars and 0 forks.
Language: Lean
Topics: lean, lsp-client, theorem-proving
Trending score 0.32, activity score 0.03, stars gained +1, forks gained +0.
2026-06-05: 14 stars and 0 forks.
Lean 4 programming language and theorem prover
GitHub repository with 8,170 stars and 867 forks.
Trending score: 1.18; stars gained: +16; forks gained: +2.
Language: Lean
Topics: lean, lean4
A Python interface to the Lean 4 kernel — designed for AI–Lean interactive automated theorem proving and related research. PyLeaner provides a production-ready bridge between Python and Lean's internals.
GitHub repository with 14 stars and 0 forks.
Trending score: 0.32; stars gained: +1; forks gained: +0.
Language: Lean
Topics: lean, lsp-client, theorem-proving
コード例で学ぶ Lean 言語
GitHub repository with 168 stars and 14 forks.
Trending score: 0.32; stars gained: +0; forks gained: +0.
Language: Lean
Topics: lean, lean4, mdbook, functional-programming, theorem-proving, reference
Formally Verified Arguments of Knowledge in Lean
GitHub repository with 295 stars and 68 forks.
Trending score: 0.05; stars gained: +0; forks gained: +1.
Language: Lean
Topics: formal-verification, lean, lean4, snark, zero-knowledge, zk
A Lean 4 library for formal linguistics.
GitHub repository with 10 stars and 0 forks.
Trending score: 0.05; stars gained: +0; forks gained: +0.
Language: Lean
Topics: formal, lean, linguistics, mathlib
Lean 4 programming language and theorem prover
GitHub repository with 8,170 stars and 867 forks.
Trending score: 1.18; stars gained: +16; forks gained: +2.
Language: Lean
Topics: lean, lean4
The math library of Lean 4
GitHub repository with 3,391 stars and 1,371 forks.
Trending score: 1.04; stars gained: +11; forks gained: +8.
Language: Lean
Topics: lean4
ATLAS Autoformalized Textbook Library At Scale
GitHub repository with 211 stars and 21 forks.
Trending score: 1.00; stars gained: +10; forks gained: +1.
Language: Lean
Zero-sorry Lean 4 library: finite-sample SLT bounds, sharp McDiarmid, PAC-Bayes Bernstein margin shell, and Dudley chaining. Standard Lean/Mathlib axioms only.
GitHub repository with 33 stars and 1 forks.
Trending score: 0.90; stars gained: +7; forks gained: +0.
Language: Lean
Topics: concentration-inequalities, formal-verification, lean4, machine-learning, mathematics, mathlib4
A collection of formalized statements of conjectures in Lean.
GitHub repository with 1,001 stars and 302 forks.
Trending score: 0.88; stars gained: +4; forks gained: +1.
Language: Lean
Topics: formal-mathematics, lean4
Lean formalizations of the paper "We Can't Agree to Disagree, Formally: Aumann's Theorem and Assumption Accounting in Lean"
GitHub repository with 15 stars and 2 forks.
Trending score: 0.77; stars gained: +5; forks gained: +0.
Language: Lean
Topics: lean4
Leantime is a goals focused project management system for non-project managers. Building with ADHD, Autism, and dyslexia in mind.
GitHub repository with 9,985 stars and 981 forks.
Trending score: 1.50; stars gained: +18; forks gained: +6.
Language: PHP
Topics: project-management, php, sql, kanban, gantt, timesheets
Lean 4 programming language and theorem prover
GitHub repository with 8,170 stars and 867 forks.
Trending score: 1.18; stars gained: +16; forks gained: +2.
Language: Lean
Topics: lean, lean4
A Python interface to the Lean 4 kernel — designed for AI–Lean interactive automated theorem proving and related research. PyLeaner provides a production-ready bridge between Python and Lean's internals.
GitHub repository with 14 stars and 0 forks.
Trending score: 0.32; stars gained: +1; forks gained: +0.
Language: Lean
Topics: lean, lsp-client, theorem-proving
コード例で学ぶ Lean 言語
GitHub repository with 168 stars and 14 forks.
Trending score: 0.32; stars gained: +0; forks gained: +0.
Language: Lean
Topics: lean, lean4, mdbook, functional-programming, theorem-proving, reference
Formally Verified Arguments of Knowledge in Lean
GitHub repository with 295 stars and 68 forks.
Trending score: 0.05; stars gained: +0; forks gained: +1.
Language: Lean
Topics: formal-verification, lean, lean4, snark, zero-knowledge, zk
A Lean 4 library for formal linguistics.
GitHub repository with 10 stars and 0 forks.
Trending score: 0.05; stars gained: +0; forks gained: +0.
Language: Lean
Topics: formal, lean, linguistics, mathlib