The Lean theorem prover and programming language
Lean is a theorem prover and programming language with a small trusted core based on dependent typed theory, aiming to bridge the gap between interactive and automated theorem proving.
| System | Target | Derivation | Build status |
|---|---|---|---|
| x86_64-linux | /gnu/store/l24jijba357zi8r23zdjxynqmqh98nsk-lean-3.5.0.drv | ||
| mips64el-linux | /gnu/store/a0h4a9vdlp27x6zj5rds6x88d710z6zp-lean-3.5.0.drv | ||
| i686-linux | /gnu/store/wzxn3q1gycy3ki7nb4kypfgkhi9sa4rr-lean-3.5.0.drv | ||
| armhf-linux | /gnu/store/97lbb3l7477mbv6dfwd8kpfq603jg22x-lean-3.5.0.drv | ||
| aarch64-linux | /gnu/store/plbfnwvisqlsxghzfwvm759mrzc2iqsm-lean-3.5.0.drv |
| Linter | Message | Location |
|---|---|---|
| No lint warnings ✓ | ||