PyDigger - unearthing stuff about Python


NameVersionSummarydate
wkrq 1.1.2 A Python implementation of a semantic tableau calculus for weak Kleene logic with restricted quantification 2025-08-01 22:48:28
hourdayweektotal
32194510376305580
Elapsed time: 1.88168s