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
12222382342292586
Elapsed time: 1.73746s