PyDigger - unearthing stuff about Python


NameVersionSummarydate
lean-interact 0.1.0 LeanInteract is a Python package that allows you to interact with the Lean theorem prover. 2025-02-05 17:09:42
hourdayweektotal
87227310226296471
Elapsed time: 1.94100s