Tree @
master
(
Download .tar.gz
)
..
assert.h
assumptions.h
formula.h
proof.h
theorem.h
History of include
/
theorem.h
@
master
git clone https://git.catseye.tc/Philomath/
Rename from "proof.c" to "theorem.c" because it defines theorems.
Chris Pressey
1 year, 8 months ago