Home Explore Help
Sign In
taddeus
/
trs
1
0
Fork 0
Files Issues 0 Pull Requests 0 Wiki

Mathematical term rewriting system

Tree: e0adb07949
Branches Tags
trs
ZIP TAR.GZ
Sander Mathijs van Veen e0adb07949 Almost finished project proposal and implemented build system. 14 years ago
docs e0adb07949 Almost finished project proposal and implemented build system. 14 years ago
.gitignore 48776a585a Initial commit; the project proposal and git ignore list. 14 years ago
Makefile e0adb07949 Almost finished project proposal and implemented build system. 14 years ago
base.mk e0adb07949 Almost finished project proposal and implemented build system. 14 years ago