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
53180810401311932
Elapsed time: 3.15861s