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 Game Server (🥇17 · ⭐ 150 · 📈) - Mainly for Natural Number Game. Be careful not to..
❗️GPL-3.0
- Theorem Proving in Lean 4 (🥈12 · ⭐ 150 · 📈) - Theorem Proving in Lean 4.
Apache-2
- quote4 (🥉10 · ⭐ 70 · 📈) - Intuitive, type-safe expression quotations for Lean 4.
Apache-2
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.