Tree @master (Download .tar.gz)
History of
build.sh
@master
git clone https://git.catseye.tc/Philomath/
- Arrange licensing info in repo according to REUSE 3.2 convention. Chris Pressey a month ago
- Add a rudimentary test driver which is very rudimentary. Chris Pressey 10 months ago
- Rename from "proof.c" to "theorem.c" because it defines theorems. Chris Pressey 2 years ago
- Find and fix a bug in neg_elim. Add `-D` option to build-proof.sh. Chris Pressey 2 years ago
- assert.{c,h}. Fix linked-list traversal bug in merge(). Chris Pressey 2 years ago
- Initial import of work so far. Chris Pressey 2 years ago