Name | Modified | Size | Downloads / Week |
---|---|---|---|
paper.pdf | 2022-02-01 | 175.1 kB | |
presentation.pdf | 2022-01-16 | 267.8 kB | |
Totals: 2 Items | 442.9 kB | 0 |
Geometric Theorem Proving Files
decide simple geometric statements
Status: Beta
Brought to you by:
bbodi