catseye/Philomath

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

语言：C · GitHub 星标：17 · Fork：3

话题：ansi-c · c89 · lcf-style · natural-deduction · proof-checker · proof-checking · propositional-logic · theorem-prover

在 GitHub 上查看原仓库