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
63149710473309551
Elapsed time: 3.44047s