PackagesThe Lean Theorem Prover
| Version | RDEPEND | DEPEND | BDEPEND | IDEPEND | PDEPEND |
|---|---|---|---|---|---|
| dev-build/cmake | |||||
| dev-build/make | |||||
| dev-lang/python | |||||
| dev-libs/gmp | |||||
| dev-libs/libuv | |||||
| sci-mathematics/cadical |
| Version | RDEPEND | DEPEND | BDEPEND | IDEPEND | PDEPEND |
|---|---|---|---|---|---|
| dev-build/cmake | |||||
| dev-build/make | |||||
| dev-lang/python | |||||
| dev-libs/gmp |