Taddeus Kroes 961c70a79c Added rules for removing double conjunction/disjunction cases. 14 năm trước cách đây
..
frontend cce9134759 Changed MathJax config file. 14 năm trước cách đây
rules 961c70a79c Added rules for removing double conjunction/disjunction cases. 14 năm trước cách đây
__init__.py 2527c7d9d9 Code cleanup and added interactie parser mode (for shells). 14 năm trước cách đây
calc.py ad9cff6eb9 Applied pep8 and pyflakes recommendations. 14 năm trước cách đây
default_config.py 474ea0edd8 Implemented basic symbolic equations and added Sympy to deps. 14 năm trước cách đây
expression.py bc910e29ef Started with constructing an expression tree in the parser. 14 năm trước cách đây
logger.py ad9cff6eb9 Applied pep8 and pyflakes recommendations. 14 năm trước cách đây
node.py 49391e6c0f Bugfix: added negation copy to substitute function. 14 năm trước cách đây
parser.py 71bb582369 Implemented substitution for solving sets of linear equations.. 14 năm trước cách đây
possibilities.py 09820ea805 Added the possibility to use a function to create a hint message. 14 năm trước cách đây
strategy.py 358e632e61 Moved n-ary operator definition to a constant list. 14 năm trước cách đây
translate.py b76e038628 Added missing text translation utility file. 14 năm trước cách đây
unicode_math.py be87484c2e Moved unicode PI to separate unicode tokens file. 14 năm trước cách đây
validation.py 822e6c4de7 Validation not uses new 'clone' function. 14 năm trước cách đây