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)
Contributors
Past 365 days
Contributors leaderboard
All activities
Organizations leaderboard
All activities
Active contributors
Active organizations
Contributor dependency
All activities
Organization dependency
All activities
Quarterly contributor retention
Geographical distribution
All activities