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 |
|---|---|---|---|
| 65 | 1487 | 10554 | 306334 |
| 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 |
|---|---|---|---|
| 65 | 1487 | 10554 | 306334 |