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-proof1.c
@
master
git clone https://git.catseye.tc/Philomath/
Basic version of proves(), needs debugging.
Chris Pressey
2 years ago
assert.{c,h}. Fix linked-list traversal bug in merge().
Chris Pressey
2 years ago
Example proof, script to build it; not quite complete yet though.
Chris Pressey
2 years ago