Tree @
master
(
Download .tar.gz
)
eg
include
LICENSES
src
.gitignore
build-proof.sh
build.sh
clean.sh
README.md
test.sh
History of clean.sh
@
master
git clone https://git.catseye.tc/Philomath/
Arrange licensing info in repo according to REUSE 3.2 convention.
Chris Pressey
1 year, 10 months ago
Checkpoint an incomplete proof that exercises neg_elim, absr_elim.
Chris Pressey
4 years ago
Initial import of work so far.
Chris Pressey
4 years ago