Update: 2024.12.19-23.56

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

• doc-gen4 (🥉15 · ⭐ 69 · 📈) - Document Generator. Apache-2
• SMT Lean (🥈11 · ⭐ 150 · 📈) - Tactics for discharging Lean goals into SMT solvers. Apache-2
• Lean 4 Tactics (🥈6 · ⭐ 63 · 📈) - Overview of tactics in Lean 4 for beginners longer version. Unlicense
• Lean 4 Cheatsheet (🥉5 · ⭐ 23 · 📈) - Printable (A4) overview of tactics in Lean 4 for.. Unlicense
• (Mathlib4) General Documentation (API Reference) (🥉5 · ⭐ 8 · 📈) - Official Mathlib API Reference. ❗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.

• The mechanics of proof (🥈10 · ⭐ 210 · 📉) - Early university level course. ❗Unlicensed
• lean4web (🥉10 · ⭐ 73 · 📉) - Web editor. Apache-2
• Reservoir (🥉7 · ⭐ 17 · 📉) - Lakes package registry. Apache-2

➕ Added Projects

Projects that were recently added to this best-of list.

• LeanCopilot (🥈17 · ⭐ 1K · ➕) - LLMs as Copilots for Theorem Proving in Lean. MIT