PyDigger - unearthing stuff about Python


NameVersionSummarydate
wkrq 3.3.2 A Python implementation of a semantic tableau calculus for weak Kleene logic with restricted quantification 2025-08-25 18:47:33
hourdayweektotal
5312949052317480
Elapsed time: 3.28025s