Tree @master (Download .tar.gz)
History of
build-proof.sh
@master
git clone https://git.catseye.tc/Philomath/
- Add a rudimentary test driver which is very rudimentary. Chris Pressey 4 months ago
- Find and fix a bug in neg_elim. Add `-D` option to build-proof.sh. Chris Pressey 1 year, 11 months ago
- Example of conj_{intro,elim}. Improve build-proof.sh. Update README. Chris Pressey 2 years ago
- Example proof, script to build it; not quite complete yet though. Chris Pressey 2 years ago