💥 💥 💥
Stars
3
stars
written in C
Clear filter
The core software distribution for the Inform 7 programming language.
MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)