PyDigger - unearthing stuff about Python


NameVersionSummarydate
wkrq 3.2.0 A Python implementation of a semantic tableau calculus for weak Kleene logic with restricted quantification 2025-08-16 03:43:35
hourdayweektotal
127200410224312855
Elapsed time: 2.86049s