Loading repository…
Loading repository…
Formally Verified Arguments of Knowledge in Lean
RepoRank
0Momentum score used on the leaderboard — stars, boosts, growth, and freshness combined.
GitHub stars
+23 (24h)
Total stargazers on the public repository.
Developer
Listing owner and GitHub contributors for this repository
Contributors
Contribution counts from GitHub; last active uses each author's latest commit on the default branch.
Last active: 8 days ago
Last active: 6 months ago
Last active: 2 days ago
Discover
Other trending projects on RepoRank—hand-picked from high-momentum listings so you can keep exploring.
Claim status
This listing is not linked to a verified owner yet. Claim it to manage the profile, unlock dashboard tools, and activate a verified website link that can strengthen your visibility in Google.
Last active: 2 months ago
Last active: 7 days ago
Last active: 3 days ago
Last active: 2 months ago
Last active: 1 years ago
Last active is loaded for the top 8 contributors only (one GitHub request each).
Use Garry Tan's exact Claude Code setup: 23 opinionated tools that serve as CEO, Designer, Eng Manager, Release Manager, Doc Engineer, and QA
Score
87
Stars
94,897
