Taddeus Kroes b74f5aedc5 Applied temporary fix from previous commit to definite integral bounds too. 13 лет назад
..
backend 3c4c11f688 Add AGPLv3 header to all source files. 13 лет назад
frontend 99b52000b4 Added credit text at bottom of frontend. 13 лет назад
rules e3a6479568 Fixed some integral rules using negation and added a power rule: 13 лет назад
__init__.py 3c4c11f688 Add AGPLv3 header to all source files. 13 лет назад
default_config.py 3c4c11f688 Add AGPLv3 header to all source files. 13 лет назад
logger.py 3c4c11f688 Add AGPLv3 header to all source files. 13 лет назад
node.py b74f5aedc5 Applied temporary fix from previous commit to definite integral bounds too. 13 лет назад
parser.py 3c4c11f688 Add AGPLv3 header to all source files. 13 лет назад
possibilities.py 3c4c11f688 Add AGPLv3 header to all source files. 13 лет назад
strategy.py 3c4c11f688 Add AGPLv3 header to all source files. 13 лет назад
translate.py 3c4c11f688 Add AGPLv3 header to all source files. 13 лет назад
validation.py 8f84aef468 Added a unit test that mysteriously failes validation... 13 лет назад