Proof Assistants & Formal Verification
by The Linux Foundation ・ Updated 19 Mar19 Mar 2026Libraries and frameworks for formalizing mathematics, verifying proofs, and ensuring correctness through interactive and automated proof assistance.
Projects / Repositories:26
Contributors:28K
Avg. Health:Healthy (82)
Popularity
Past 365 days
Stars
Forks
Search queries volume
Data available from June 2024 onward
Package downloads
All packages
Package downloads are not available for Maven packages.
1,035,904,951
2.3% (+23,066,476) vs. 1,012,838,475 last period
Data available from June 2025 onward
Package dependency
All packages
Dependent repositories
Total 605K
0% (+61) vs. last period
Dependent packages
Total 10K
0.1% (+8) vs. last period
Dependent Docker packages
Total 2,623
33.8% (-1.3K) vs. last period
Data available from June 2025 onward