| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| mathlib_2.13-0.9.3.jar | Thu Oct 23 03:14:54 PDT 2025 | 287243 | |
| mathlib_2.13-0.9.3.jar.sha1 | Thu Oct 23 03:14:54 PDT 2025 | 40 | |
| mathlib_2.13-0.9.3.pom | Thu Oct 23 03:14:54 PDT 2025 | 1633 | |
| mathlib_2.13-0.9.3.pom.sha1 | Thu Oct 23 03:14:54 PDT 2025 | 40 |