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 |
|---|---|---|---|
| 58 | 2077 | 10401 | 305555 |
| 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 |
|---|---|---|---|
| 58 | 2077 | 10401 | 305555 |