GitStar
GitHub TrendingTopicsLanguagesRepositoriesUsersOrganizations
/

Proof Automation Trending Repositories

Explore GitHub Trending repositories tagged “proof-automation”.

Every repository shown here comes from the PostgreSQL Trending catalog.

RepositoriesGitHub topic
Ranked by:Stars

Trending Repositories

leanprover-community/mathlib3

Lean 3's obsolete mathematical components library: please use mathlib4

Lean1,664289Built by@urkud@eric-wieser@kim-em@YaelDillies@jcommelin
GitStar

See what the GitStar community is most excited about today.

Trending

GitHub Trending TodayGitHub Trending WeeklyGitHub Trending Monthly

Languages

Browse all languagesTrending PythonTrending JavaScript

Explore

Browse repositoriesBrowse usersBrowse organizationsBrowse GitHub topics
© 2026 GitStarJobStarGitHub Trending source