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-proof2.c
@
master
git clone https://git.catseye.tc/Philomath/
Example of conj_{intro,elim}. Improve build-proof.sh. Update README.
Chris Pressey
2 years ago