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 |
|---|---|---|---|
| 96 | 2219 | 10311 | 304546 |
| 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 |
|---|---|---|---|
| 96 | 2219 | 10311 | 304546 |