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-nonproof3.c
@
master
git clone https://git.catseye.tc/Philomath/
Demo trying to manipulate formula after theorem has been built.
Chris Pressey
5 months ago