catseye / Philomath

MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)
14Updated 11 months ago

Related projects

Alternatives and complementary repositories for Philomath