PyDigger - unearthing stuff about Python


NameVersionSummarydate
wkrq 1.2.0 A Python implementation of a semantic tableau calculus for weak Kleene logic with restricted quantification 2025-08-04 03:14:50
hourdayweektotal
110189010607306654
Elapsed time: 3.32504s