PyDigger - unearthing stuff about Python


NameVersionSummarydate
wkrq 3.1.0 A Python implementation of a semantic tableau calculus for weak Kleene logic with restricted quantification 2025-08-14 21:51:25
hourdayweektotal
77233710527311393
Elapsed time: 2.82236s