Tree @
master
(
Download .tar.gz
)
eg
include
LICENSES
src
.gitignore
build-proof.sh
build.sh
clean.sh
README.md
test.sh
History of .gitignore
@
master
git clone https://git.catseye.tc/Philomath/
Arrange licensing info in repo according to REUSE 3.2 convention.
Chris Pressey
2 months ago
Example of conj_{intro,elim}. Improve build-proof.sh. Update README.
Chris Pressey
2 years ago
Initial import of work so far.
Chris Pressey
2 years ago