Update: 2024.11.07

📈 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 (🥈20 · ⭐ 320 · 📈) - Version Manager. Apache-2
• The mechanics of proof (🥈11 · ⭐ 200 · 📈) - Early university level course. ❗Unlicensed

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

• A Lean 4 Metaprogramming Book (🥇15 · ⭐ 220 · 📉) - Practical manual with code that goes into the.. Apache-2
• Lean 4 Tactics (🥈6 · ⭐ 57 · 📉) - Overview of tactics in Lean 4 for beginners longer version. Unlicense