Tree @
master
(
Download .tar.gz
)
eg
include
src
.gitignore
build-proof.sh
build.sh
clean.sh
README.md
test.sh
UNLICENSE
History of test.sh
@
master
git clone https://git.catseye.tc/Philomath/
Demo trying to manipulate formula after theorem has been built.
Chris Pressey
4 months ago
Improve the test driver script.
Chris Pressey
4 months ago
Add a rudimentary test driver which is very rudimentary.
Chris Pressey
4 months ago