Mathematical term rewriting system

Sander Mathijs van Veen 48776a585a Initial commit; the project proposal and git ignore list. il y a 15 ans
docs 48776a585a Initial commit; the project proposal and git ignore list. il y a 15 ans
.gitignore 48776a585a Initial commit; the project proposal and git ignore list. il y a 15 ans