MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)
Home Page:https://catseye.tc/node/Philomath
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool