Mathematical term rewriting system

Sander Mathijs van Veen 48776a585a Initial commit; the project proposal and git ignore list. 14 роки тому
docs 48776a585a Initial commit; the project proposal and git ignore list. 14 роки тому
.gitignore 48776a585a Initial commit; the project proposal and git ignore list. 14 роки тому