Update: 2024.12.12

📈 Trending Up

Projects that have a higher project-quality score compared to the last update. There might be a variety of reasons, such as increased downloads or code activity.

• elan (🥈21 · ⭐ 320 · 📈) - Version Manager. Apache-2
• std4 (🥉18 · ⭐ 260 · 📈) - Standard Library. Apache-2
• Lean Game Server (🥇17 · ⭐ 200 · 📈) - Mainly for Natural Number Game. Be careful not to.. ❗️GPL-3.0
• Functional Programming in Lean (🥉8 · ⭐ 73 · 💤) - Functional Programming in Lean. ❗Unlicensed
• lean3-tactic-lean4 (🥈6 · ⭐ 25 · 📈) - Reference sheet for people who know Lean 3 and want.. Unlicense Lean 3

📉 Trending Down

Projects that have a lower project-quality score compared to the last update. There might be a variety of reasons such as decreased downloads or code activity.

• LeanDojo (🥈16 · ⭐ 590 · 📉) - Tool for data extraction and interacting with Lean programmatically. MIT
• Paperproof (🥈16 · ⭐ 370 · 📉) - Theorem proving interface which feels like pen-and-paper proofs. MIT
• aesop (🥈14 · ⭐ 220 · 📉) - Proof search tactic (Automated Extensible Search for Obvious Proofs). Apache-2
• lean4web (🥉11 · ⭐ 71 · 📉) - Web editor. Apache-2
• Mathematics in Lean (🥉10 · ⭐ 280 · 📉) - Note that there are many parts of the documentation.. ❗Unlicensed