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-proof3.c
@
master
git clone https://git.catseye.tc/Philomath/
Fix bug in disj_elim(). Add demo of disj_intro(), disj_elim().
Chris Pressey
2 years ago