Geometric Theorem Proving Code
decide simple geometric statements
Status: Beta
Brought to you by:
bbodi
Menu
▾
▴
Tree [19f103] master / History
| File | Date | Author | Commit |
|---|---|---|---|
| doc | 2022-02-01 |
Bernhard Bodenstorfer
|
[19f103] added comma |
| src | 2022-01-31 |
Bernhard Bodenstorfer
|
[5cd886] add Auxiliaries.reset() also for calls with argv |