Topic · leanprover
leanprover
Tracked open-source repos tagged leanprover, sorted by stars.
Repos
1
Total stars
572
Avg. stars
572
Share
0.00%
Related topics
Topics that frequently appear alongside leanprover on the same repo.
Recent risers
Repos created in the last 90 days, tagged leanprover.
No new repos tagged with this topic in the last 90 days.
← Back to topics
