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