PyDigger - unearthing stuff about Python
| Name | Version | Summary | date |
|---|---|---|---|
| itf-py | 0.4.0 | Python library to parse and emit Apalache/Quint traces in ITF JSON | 2025-07-28 21:33:05 |
Igor Konnov
| hour | day | week | total |
|---|---|---|---|
| 93 | 2268 | 10445 | 305239 |
| Name | Version | Summary | date |
|---|---|---|---|
| itf-py | 0.4.0 | Python library to parse and emit Apalache/Quint traces in ITF JSON | 2025-07-28 21:33:05 |
Igor Konnov
| hour | day | week | total |
|---|---|---|---|
| 93 | 2268 | 10445 | 305239 |