Update: 2024.11.21

📈 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.

• A Lean 4 Metaprogramming Book (🥇16 · ⭐ 220 · 📈) - Practical manual with code that goes into the.. Apache-2
• lean3-tactic-lean4 (🥈6 · ⭐ 25 · 📈) - Reference sheet for people who know Lean 3 and want.. Unlicense Lean 3
• Lean 4 Cheatsheet (🥉5 · ⭐ 21 · 📈) - Printable (A4) overview of tactics in Lean 4 for.. Unlicense

📉 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.

• lean4web (🥉12 · ⭐ 68 · 📉) - Web editor. Apache-2
• Mathematics in Lean (🥉10 · ⭐ 270 · 📉) - Note that there are many parts of the documentation.. ❗Unlicensed