PyDigger - unearthing stuff about Python


NameVersionSummarydate
lean-interact 0.8.2 LeanInteract is a Python package that allows you to interact with the Lean theorem prover. 2025-08-15 12:44:21
hourdayweektotal
71145410303312425
Elapsed time: 2.50352s