Inicio Explorar Axuda
Iniciar sesión
taddeus
/
trs
1
0
Fork 0
Ficheiros Incidencias 0 Pull Requests 0 Wiki

Mathematical term rewriting system

Árbore: f8bfc9e46b
Ramas Etiquetas
trs
ZIP TAR.GZ
Taddes Kroes f8bfc9e46b Added dummy file for name test. %!s(int64=14) %!d(string=hai) anos
docs f8bfc9e46b Added dummy file for name test. %!s(int64=14) %!d(string=hai) anos
.gitignore 34d3a3d10b Added ignore line for temporary Texmaker files. %!s(int64=14) %!d(string=hai) anos
Makefile e0adb07949 Almost finished project proposal and implemented build system. %!s(int64=14) %!d(string=hai) anos
base.mk e0adb07949 Almost finished project proposal and implemented build system. %!s(int64=14) %!d(string=hai) anos