History of
include
@master
git clone https://git.catseye.tc/Philomath/

Rename from "proof.c" to "theorem.c" because it defines theorems.
Chris Pressey
1 year, 3 months ago

"struct theorem" is a better name than "struct proof" for this.
Chris Pressey
1 year, 3 months ago

Implement double_neg_elim. Demo proof of reductio ad absurdum.
Chris Pressey
1 year, 6 months ago

Implement neg_intro().
Chris Pressey
1 year, 6 months ago

Implementation of neg_elim() (untested).
Chris Pressey
1 year, 8 months ago

Absurdum terms, and absr_elim() rule.
Chris Pressey
1 year, 8 months ago

assumptions_fprint().
Chris Pressey
1 year, 8 months ago

formula_fprint().
Chris Pressey
1 year, 8 months ago

Have assert() display a diagnostic message.
Chris Pressey
1 year, 8 months ago

Basic version of proves(), needs debugging.
Chris Pressey
1 year, 8 months ago

assert.{c,h}. Fix linkedlist traversal bug in merge().
Chris Pressey
1 year, 8 months ago

Initial import of work so far.
Chris Pressey
1 year, 8 months ago