Owner
leanprover-community
46 indexed repositories · View on GitHub
-
mathlib4
The math library of Lean 4
Lean · 4147 stars
-
physlib
A project to digitalise results from physics into Lean.
Lean · 749 stars
-
lean4game
Server to host Lean games
TypeScript · 553 stars
-
lean
Lean 3 Theorem Prover (community fork)
C++ · 433 stars
-
batteries
The "batteries included" extended library for the Lean programming language and theorem prover
Lean · 419 stars
-
aesop
White-box automation for Lean 4
Lean · 404 stars
-
NNG4
Natural Number Game
Lean · 374 stars
-
Lean · 310 stars
-
lean-liquid
💧 Liquid Tensor Experiment
Lean · 252 stars
-
repl
A simple REPL for Lean 4, returning information about errors and sorries.
Lean · 228 stars
-
ProofWidgets4
Helper toolkit for creating your own Lean 4 UserWidgets
Lean · 226 stars
-
iris-lean
Lean 4 port of Iris, a higher-order concurrent separation logic framework
Lean · 218 stars
-
lean-auto
Experiments on automation for Lean
Lean · 186 stars
-
lean4web
Lean web editor
TypeScript · 151 stars
-
lean4-mode
Emacs major mode for Lean 4
Emacs Lisp · 139 stars
-
lean-perfectoid-spaces
Perfectoid spaces in the Lean formal theorem prover.
Lean · 134 stars
-
Lean · 117 stars
-
LeanProject
A template for blueprint-driven formalization projects in Lean.
Python · 116 stars
-
Lean · 115 stars
-
quote4
Intuitive, type-safe expression quotations for Lean 4.
Lean · 111 stars
- 26 more repositories live on View on GitHub
-
Difficulty 4/5 3-5 days Newbie friendliness 48/100
leanprover-community/mathlib4#43952 ·
-
chore
Difficulty 4/5 3-5 days Newbie friendliness 48/100
leanprover-community/iris-lean#696 · 1 reaction ·
-
Difficulty 3/5 1-2 days Newbie friendliness 62/100
-
intention t-number-theory
leanprover-community/project-intentions#43 · 5 comments · 1 assignee ·
-
Difficulty 2/5 1-3 hours Newbie friendliness 74/100
leanprover-community/mathlib4#43872 ·
-
Difficulty 3/5 1-2 days Newbie friendliness 68/100
leanprover-community/mathlib4#43870 ·
-
Difficulty 4/5 3-5 days Newbie friendliness 48/100
leanprover-community/physlib#1656 ·
-
good first issue
Difficulty 2/5 1-3 hours Newbie friendliness 72/100
leanprover-community/mathlib4#43855 ·
-
Difficulty 3/5 1-2 days Newbie friendliness 55/100
leanprover-community/lean4game#553 · 1 comment ·
-
Difficulty 5/5 Over a week Newbie friendliness 35/100
-
Difficulty 3/5 1-2 days Newbie friendliness 48/100
-
Difficulty 3/5 1-2 days Newbie friendliness 64/100
-
Difficulty 5/5 Over a week Newbie friendliness 35/100
leanprover-community/physlib#1628 · 1 comment ·
-
Difficulty 3/5 1-2 days Newbie friendliness 64/100
leanprover-community/NNG4#171 · 2 comments ·
-
Difficulty 4/5 3-5 days Newbie friendliness 45/100
leanprover-community/mathlib4#43614 ·
-
Difficulty 1/5 Under an hour Newbie friendliness 82/100
-
Difficulty 3/5 1-2 days Newbie friendliness 55/100
-
Difficulty 1/5 Under an hour Newbie friendliness 10/100
-
intention t-number-theory
leanprover-community/project-intentions#42 · 3 comments · 1 assignee ·
-
enhancement
Difficulty 4/5 3-5 days Newbie friendliness 38/100
-
documentation
Difficulty 1/5 Under an hour Newbie friendliness 78/100
-
intention t-number-theory
leanprover-community/project-intentions#41 · 1 comment · 1 assignee ·
-
Difficulty 3/5 1-2 days Newbie friendliness 65/100
leanprover-community/physlib#1595 ·
-
Difficulty 4/5 3-5 days Newbie friendliness 45/100
leanprover-community/physlib#1594 · 1 comment ·
-
good first issue
Difficulty 4/5 3-5 days Newbie friendliness 45/100
leanprover-community/physlib#1593 ·
-
intention t-number-theory
leanprover-community/project-intentions#39 · 1 comment · 1 assignee ·
-
intention t-algebra
leanprover-community/project-intentions#34 · 2 comments · 1 assignee ·
-
Difficulty 2/5 1-3 hours Newbie friendliness 68/100
leanprover-community/NNG4#167 · 2 comments · 3 reactions ·
-
Improvement
Difficulty 5/5 Over a week Newbie friendliness 30/100
-
intention t-algebra t-algebraic-geometry
Difficulty 5/5 Over a week Newbie friendliness 35/100
leanprover-community/project-intentions#33 · 5 comments ·
-
Difficulty 3/5 1-2 days Newbie friendliness 68/100
leanprover-community/mathlib4#42869 · 2 comments ·
-
good first issue help-wanted
Difficulty 1/5 Under an hour Newbie friendliness 82/100
leanprover-community/physlib#1543 ·
-
good first issue help-wanted
Difficulty 1/5 Under an hour Newbie friendliness 90/100
leanprover-community/physlib#1542 ·
-
good first issue help-wanted
Difficulty 1/5 Under an hour Newbie friendliness 85/100
leanprover-community/physlib#1541 ·
-
good first issue help-wanted
Difficulty 1/5 Under an hour Newbie friendliness 88/100
leanprover-community/physlib#1538 ·
-
good first issue help-wanted
Difficulty 1/5 Under an hour Newbie friendliness 85/100
leanprover-community/physlib#1537 ·
-
good first issue help-wanted
Difficulty 1/5 Under an hour Newbie friendliness 90/100
leanprover-community/physlib#1536 ·
-
good first issue help-wanted
Difficulty 1/5 Under an hour Newbie friendliness 85/100
leanprover-community/physlib#1535 ·
-
good first issue help-wanted
Difficulty 1/5 Under an hour Newbie friendliness 88/100
leanprover-community/physlib#1534 ·
-
good first issue help-wanted
Difficulty 1/5 Under an hour Newbie friendliness 90/100
leanprover-community/physlib#1532 ·
-
good first issue help-wanted
Difficulty 1/5 Under an hour Newbie friendliness 82/100
leanprover-community/physlib#1530 ·
-
good first issue help-wanted
Difficulty 1/5 Under an hour Newbie friendliness 88/100
leanprover-community/physlib#1529 ·
-
good first issue help-wanted
Difficulty 2/5 1-3 hours Newbie friendliness 68/100
leanprover-community/physlib#1528 ·
-
intention t-differential-geometry
leanprover-community/project-intentions#32 · 4 comments · 1 assignee ·
-
Difficulty 4/5 3-5 days Newbie friendliness 52/100
leanprover-community/mathlib4#42852 ·
-
Improvement
Difficulty 5/5 Over a week Newbie friendliness 25/100
-
agda2lean Open
Difficulty 5/5 Over a week Newbie friendliness 20/100
leanprover-community/mathlib4#42793 ·
-
intention t-analysis
leanprover-community/project-intentions#31 · 12 comments · 1 assignee ·
-
intention t-dynamics t-measure-probability
leanprover-community/project-intentions#30 · 7 comments · 1 assignee ·
-
Difficulty 3/5 1-2 days Newbie friendliness 62/100
Showing the newest 100
This page lists what was indexed most recently. Advanced filter has the whole inventory, narrowed by language, difficulty and how long a task takes.