This website works better with JavaScript
首页
发现
帮助
登录
taddeus
/
trs
关注
1
点赞
0
派生
0
文件
工单管理
0
合并请求
0
Wiki
Mathematical term rewriting system
11
提交历史
4
代码分支
0
版本发布
目录树:
a19046f3cd
分支列表
标签列表
breadth_first
develop
master
validation
trs
HTTPS
SSH
ZIP
TAR.GZ
Sander Mathijs van Veen
a19046f3cd
Applied Krzysztof's suggestions.
14 年之前
docs
a19046f3cd
Applied Krzysztof's suggestions.
14 年之前
.gitignore
34d3a3d10b
Added ignore line for temporary Texmaker files.
14 年之前
Makefile
e0adb07949
Almost finished project proposal and implemented build system.
14 年之前
base.mk
e0adb07949
Almost finished project proposal and implemented build system.
14 年之前
Sander Mathijs van Veen
a19046f3cd
Applied Krzysztof's suggestions.