History of
include
/
proof.h
@master
git clone https://git.catseye.tc/Philomath/
- Rename from "proof.c" to "theorem.c" because it defines theorems. Chris Pressey 1 year, 8 months ago
- "struct theorem" is a better name than "struct proof" for this. Chris Pressey 1 year, 8 months ago
- Implement double_neg_elim. Demo proof of reductio ad absurdum. Chris Pressey 1 year, 11 months ago
- Implement neg_intro(). Chris Pressey 1 year, 11 months ago
- Implementation of neg_elim() (untested). Chris Pressey 2 years ago
- Absurdum terms, and absr_elim() rule. Chris Pressey 2 years ago
- Basic version of proves(), needs debugging. Chris Pressey 2 years ago
- Initial import of work so far. Chris Pressey 2 years ago