PyDigger - unearthing stuff about Python


NameVersionSummarydate
wkrq 2.0.0 A Python implementation of a semantic tableau calculus for weak Kleene logic with restricted quantification 2025-08-04 21:32:47
hourdayweektotal
88234910297308529
Elapsed time: 3.02900s