Tree @master (Download .tar.gz)
History of
eg
/
demo-proof4.c
@master
git clone https://git.catseye.tc/Philomath/
- "struct theorem" is a better name than "struct proof" for this. Chris Pressey 1 year, 8 months ago
- Finish the proof by simulating the copy rule with conj-intro-elim. Chris Pressey 1 year, 11 months ago
- Find and fix a bug in neg_elim. Add `-D` option to build-proof.sh. Chris Pressey 1 year, 11 months ago
- Checkpoint an incomplete proof that exercises neg_elim, absr_elim. Chris Pressey 2 years ago