taddeus/trs: Mathematical term rewriting system @ 48776a585a4268b8e5ebc570bece6265b2303376

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 жил өмнө