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 |
|---|---|---|---|
| 80 | 2252 | 10367 | 304152 |
| 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 |
|---|---|---|---|
| 80 | 2252 | 10367 | 304152 |