·
0 commits
to dcf85526b0ea631bfe9f43fe08705fd071368903
since this release
📈 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.
- LeanCopilot (🥈19 · ⭐ 1K · 📈) - LLMs as Copilots for Theorem Proving in Lean.
MIT - lean4web (🥉11 · ⭐ 74 · 📈) - Web editor.
Apache-2
📉 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.
- Lean Game Server (🥇16 · ⭐ 210 · 📉) - Mainly for Natural Number Game. Be careful not to..
❗️GPL-3.0