PyDigger - unearthing stuff about Python
| Name | Version | Summary | date |
|---|---|---|---|
| proofs | 0.0.3 | Mathematical proof assistant for students and amateurs. | 2023-06-10 21:09:49 |
maxtheman
| hour | day | week | total |
|---|---|---|---|
| 40 | 1347 | 10049 | 320328 |
| Name | Version | Summary | date |
|---|---|---|---|
| proofs | 0.0.3 | Mathematical proof assistant for students and amateurs. | 2023-06-10 21:09:49 |
maxtheman
| hour | day | week | total |
|---|---|---|---|
| 40 | 1347 | 10049 | 320328 |