@hackage lean0.0.0.1

Bonds to Lean theorem prover

Categories
- Mathematics
License
BSD-3-Clause
Maintainer
strake888@gmail.com
Links
Versions
- 0.0.0.1 Wed, 15 May 2019

Deprecated
This package has been deprecated
Dependencies (5)
- base >=4.7 && <5
- base-unicode-symbols
- text-utf8
- transformers
- util
Dependents (0)

lean