Metamath proof verifier
-
Updated
Oct 18, 2026 - C++
#
proof-verifier
Here are 2 public repositories matching this topic...
Practical Metamath resources, proof databases, independent verifiers and learning paths.
open-source education logic theorem-proving mathematics set-theory awesome-list formal-methods curated-list formal-verification formal-mathematics zfc metamath proof-verifier hyperpolymath epistemic-infrastructure epistemic-computing veridical-computing equivalence-aware-computing typed-provenance
-
Updated
Nov 9, 2026
Add this topic to your repo
To associate your repository with the proof-verifier topic, visit your repo's landing page and select "manage topics."