PyDigger - unearthing stuff about Python


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