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