git @ Cat's Eye Technologies
Philomath
/
develop-202209xx
.gitignore
develop-202209xx
master
develop-202209xx
1.1
1.0-2022.0905
1.0
Tree @
develop-202209xx
(
Download .tar.gz
)
eg
include
src
.gitignore
build-proof.sh
build.sh
clean.sh
README.md
UNLICENSE
History of .gitignore
@
develop-202209xx
git clone https://git.catseye.tc/Philomath/
Example of conj_{intro,elim}. Improve build-proof.sh. Update README.
Chris Pressey
3 years ago
Initial import of work so far.
Chris Pressey
3 years ago