صفحهٔ اصلی گشت‌و‌گذار راهنما
ورود
taddeus
/
trs
1
0
انشعاب 0
پرونده‌ها مشکلات 0 درخواست واکشی 0 ویکی

Mathematical term rewriting system

درخت: e0adb07949
شاخه‌ها تگ‌ها
trs
ZIP TAR.GZ
Sander Mathijs van Veen e0adb07949 Almost finished project proposal and implemented build system. 14 سال پیش
docs e0adb07949 Almost finished project proposal and implemented build system. 14 سال پیش
.gitignore 48776a585a Initial commit; the project proposal and git ignore list. 14 سال پیش
Makefile e0adb07949 Almost finished project proposal and implemented build system. 14 سال پیش
base.mk e0adb07949 Almost finished project proposal and implemented build system. 14 سال پیش