Mathematical term rewriting system

Sander Mathijs van Veen 48776a585a Initial commit; the project proposal and git ignore list. před 14 roky
docs 48776a585a Initial commit; the project proposal and git ignore list. před 14 roky
.gitignore 48776a585a Initial commit; the project proposal and git ignore list. před 14 roky