Mathematical term rewriting system

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