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
67159210346312027
Elapsed time: 1.82823s