PyDigger - unearthing stuff about Python


NameVersionSummarydate
itf-py 0.4.0 Python library to parse and emit Apalache/Quint traces in ITF JSON 2025-07-28 21:33:05
hourdayweektotal
80225210367304152
Elapsed time: 3.13820s