LFX Platform

Know more about LFX Platform

LFX Insights
Curated Collections

Proof Assistant Libraries

Libraries and frameworks for formalizing mathematics and verifying proofs using proof assistants.

The Linux Foundation

by The Linux Foundation

19 projects ・ Updated 14 Mar 2025

Project
Contributors
Organizations
Software value
Z3
2,348
565
$24M
Mathlib4
1,911
184
$57M
Lean 4
943
225
$26M
Agda
888
237
$11M
Coq
768
120
$16M
F*
535
141
$12M
LiquidHaskell
420
132
$7.2M
Verus
264
56
$18M
SAW (Software Analysis Workbench)
258
44
$4.8M
UniMath
240
37
$25M
HoTT Library
238
44
$3.6M
CakeML
234
27
$26M
CompCert
229
76
$7.5M
ACL2
221
22
$957M
EasyCrypt
168
20
$2.2M
Metamath
166
16
$45M
Fiat
62
13
$9.2M
Agda Standard Library
0
0
$0
Mathematical Components
0
0
$0
Looking for a project that’s not listed?