Update: 2024.11.14

📈 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 · ⭐ 24 · 📈) - 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