PyDigger - unearthing stuff about Python


NameVersionSummarydate
model-checker 0.9.35 A hyperintensional theorem prover for modal, counterfactual conditional, constitutive explanatory, and extensional operators. 2025-08-02 03:55:25
hourdayweektotal
53135410505306061
Elapsed time: 3.39931s