vulntracker
.io
CVE Database
All CVEs
Vendors
Products
Account
Pricing
Feedback
Sign in
© 2026 vulntracker.io
Leanprover LEAN4
Product
Products
Leanprover
Leanprover LEAN4
Sign in
Unknown
leanprover-lean4
Affected by
…
Versions
3
Type
Unknown
Why is it called this? 2 raw source names
Affected
…
Runs on
…
Versions
3
CVE-2026-72711
affected
0 ≤ v < 4.32.2
90%
90%
medium
6.3
2026-08-24
CVE-2026-72844
affected
0 ≤ v < 4.32.2
90%
90%
medium
6.3
2026-08-20
