| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| theoremreach-3.4.0-sources.jar | Tue Jul 21 15:08:55 UTC 2020 | 17928 | |
| theoremreach-3.4.0-sources.jar.sha1 | Tue Jul 21 15:08:55 UTC 2020 | 40 | |
| theoremreach-3.4.0.aar | Tue Jul 21 15:08:56 UTC 2020 | 72909 | |
| theoremreach-3.4.0.aar.sha1 | Tue Jul 21 15:08:56 UTC 2020 | 40 | |
| theoremreach-3.4.0.pom | Tue Jul 21 15:08:56 UTC 2020 | 1441 | |
| theoremreach-3.4.0.pom.sha1 | Tue Jul 21 15:08:56 UTC 2020 | 40 |