taddeus/trs: Mathematical term rewriting system @ c19155e67daf9e73d2bb1c09fcf16050d8c5d01a

Taddeus Kroes 0f086a6960 Merged conflicts and fixed some parser issues.		il y a 14 ans
..
graph_drawing @ 775db0cb2c	70eeb83e48 Added overwrite fucntion for derivative line generation.	il y a 14 ans
mathjax @ 5612b3f296	073810b9d7 Added MathJax as an external dependency.	il y a 14 ans
pybison @ a419a7b365	3d71304907 Updated to latest pybison version.	il y a 14 ans
__init__.py	bc910e29ef Started with constructing an expression tree in the parser.	il y a 14 ans
rules.mk	2ac45d2503 Updated pybison and adjusted build system accordingly.	il y a 14 ans