PyDigger - unearthing stuff about Python


NameVersionSummarydate
nd-prover 0.1.0 An interactive Fitch-style proof checker 2025-08-04 23:54:18
hourdayweektotal
12020058964317035
Elapsed time: 1.92680s