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
117228510160314371
Elapsed time: 4.95369s