PyDigger - unearthing stuff about Python


NameVersionSummarydate
model-checker 0.9.36 A hyperintensional theorem prover for modal, counterfactual conditional, constitutive explanatory, and extensional operators. 2025-08-06 00:03:24
hourdayweektotal
76228310397307764
Elapsed time: 3.19100s