@hackage lean0.0.0.1

Bonds to Lean theorem prover

lean