History of
include
@master
git clone https://git.catseye.tc/Philomath/
-
We don't actually need to protect assumptions; proof internals.
Chris Pressey
3 months ago
-
Move towards protecting the assumptions and formula in theorems.
Chris Pressey
3 months ago
-
Rename from "proof.c" to "theorem.c" because it defines theorems.
Chris Pressey
1 year, 6 months ago
-
"struct theorem" is a better name than "struct proof" for this.
Chris Pressey
1 year, 6 months ago
-
Implement double_neg_elim. Demo proof of reductio ad absurdum.
Chris Pressey
1 year, 9 months ago
-
Implement neg_intro().
Chris Pressey
1 year, 9 months ago
-
Implementation of neg_elim() (untested).
Chris Pressey
1 year, 11 months ago
-
Absurdum terms, and absr_elim() rule.
Chris Pressey
1 year, 11 months ago
-
assumptions_fprint().
Chris Pressey
1 year, 11 months ago
-
formula_fprint().
Chris Pressey
1 year, 11 months ago
-
Have assert() display a diagnostic message.
Chris Pressey
1 year, 11 months ago
-
Basic version of proves(), needs debugging.
Chris Pressey
1 year, 11 months 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