Tree @
master
(
Download .tar.gz
)
..
demo-nonproof1.c
demo-nonproof2.c
demo-nonproof3.c
demo-proof1.c
demo-proof2.c
demo-proof3.c
demo-proof4.c
demo-proof5.c
History of eg
/
demo-proof5.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
Implement double_neg_elim. Demo proof of reductio ad absurdum.
Chris Pressey
1 year, 11 months ago