lean-dojo/LeanCopilot — GitHub trending stats & insights

Featured

lean-dojo/LeanCopilot

LLMs as Copilots for Theorem Proving in Lean

C++

1.3k

126

10 contributors

MIT License

Achievements

Trendshift snapshots GitHub's daily Trending list and runs its own trending list

lean-dojo/LeanCopilot has been featured on GitHub Trending, first reaching #1 on Dec 13, 2023

lean-dojo/LeanCopilot has trended on Trendshift's daily and weekly list

First achieved on 23rd, Apr 2024 for C++

First achieved in Week 17, 2024 for C++