PyDigger - unearthing stuff about Python


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