PyDigger - unearthing stuff about Python


NameVersionSummarydate
model-checker 0.9.38 A hyperintensional theorem prover for modal, counterfactual conditional, constitutive explanatory, and extensional operators. 2025-08-14 05:19:12
hourdayweektotal
104237010499311036
Elapsed time: 2.13573s