Trendshift snapshots GitHub's daily Trending list and runs its own trending list. The dynamic badges below mark the best position this repository has reached on each platform. They refresh automatically as its position climbs

GitHub Trending

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

Embed Badge

Trendshift Trending

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

Daily

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

Embed Badge

Weekly

First achieved in Week 17, 2024 for C++