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
90219310433305286
Elapsed time: 2.59097s