Tree @
master
(
Download .tar.gz
)
eg
include
src
.gitignore
build-proof.sh
build.sh
clean.sh
README.md
test.sh
UNLICENSE
History of clean.sh
@
master
git clone https://git.catseye.tc/Philomath/
Checkpoint an incomplete proof that exercises neg_elim, absr_elim.
Chris Pressey
1 year, 11 months ago
Initial import of work so far.
Chris Pressey
2 years ago