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
60137710336312143
Elapsed time: 6.13736s