Update: 2024.11.10

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

• 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