PyDigger - unearthing stuff about Python


NameVersionSummarydate
pylean 0.0.1a0 Pure Python interaction with Lean 4 theorem prover 2025-08-05 08:45:45
hourdayweektotal
87213110453311621
Elapsed time: 3.83074s