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
No change (24h)
Total stargazers on the public repository.
Momentum
Steady this week
Tracked since July 2026 · RepoRank indexing history
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: 4 weeks ago
Last active: today
Last active: 9 months 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: 3 days ago
Last active: 7 days ago
Last active: 3 months ago
Last active: 5 months ago
Last active: 1 years ago
Last active is loaded for the top 8 contributors only (one GitHub request each).
Turn any technical book PDF into a Claude Code skill — ready to study, reference, and use while you work.
Score
86
Stars
20,353
