The 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 |