PyDigger - unearthing stuff about Python


NameVersionSummarydate
model-checker 0.5.6 A hyperintensional theorem prover for modal, counterfactual conditional, constitutive explanatory, and extensional operators. 2024-07-30 18:57:48
hourdayweektotal
60125710961266322
Elapsed time: 4.28952s