PyDigger - unearthing stuff about Python
| Name | Version | Summary | date |
|---|---|---|---|
| isabelle-client | 0.6.0 | A client to Isabelle proof assistant server | 2025-10-07 15:40:15 |
| gym-saturation | 1.0.3 | Gymnasium environments for saturation provers | 2025-09-20 08:50:51 |
| yapsap | 0.0.2 | Yet Another Python SAturation Prover | 2023-10-07 17:19:32 |
| tptp-lark-parser | 0.2.0 | A TPTP parser using Lark | 2023-02-08 17:32:55 |
Boris Shminke
| hour | day | week | total |
|---|---|---|---|
| 47 | 1379 | 9917 | 331336 |