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 |
|---|---|---|---|
| 124 | 1881 | 9965 | 321011 |
| 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 |
|---|---|---|---|
| 124 | 1881 | 9965 | 321011 |