taddeus/trs: Mathematical term rewriting system @ 961c70a79c187a22d644a9721a805c0035805dca

Taddeus Kroes 49391e6c0f Bugfix: added negation copy to substitute function.		14 лет назад
..
graph_drawing @ ab2d0af740	49391e6c0f Bugfix: added negation copy to substitute function.	14 лет назад
mathjax @ 5612b3f296	073810b9d7 Added MathJax as an external dependency.	14 лет назад
pybison @ 91979192cf	8ce109d8d3 Upgraded pybison to latest version.	14 лет назад
__init__.py	bc910e29ef Started with constructing an expression tree in the parser.	14 лет назад
rules.mk	2ac45d2503 Updated pybison and adjusted build system accordingly.	14 лет назад