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/1l1z0r0vkg6q9f3495s473pryzpnyscy-lean-3.23.0.drv | ||
| x86_64-linux | i586-pc-gnu | /gnu/store/nc2i45m1p2fps6vg59zw7q9h6nc5didv-lean-3.23.0.drv | |
| x86_64-linux | arm-linux-gnueabihf | /gnu/store/cvd8k6w4mmnd478ddpi5cyabrqg99flj-lean-3.23.0.drv | |
| x86_64-linux | aarch64-linux-gnu | /gnu/store/pm0pgprdzqvjbdras6fjyqyzgbgik3w7-lean-3.23.0.drv | |
| mips64el-linux | /gnu/store/f351x3s87ws7a9bbw800rb3s610q70z6-lean-3.23.0.drv | ||
| i686-linux | /gnu/store/3v6m7khdc7yi1djwd1y83pq2baar3s23-lean-3.23.0.drv | ||
| i586-gnu | /gnu/store/mzyrkgsd9vakn62v1r4h8j98h25r0bga-lean-3.23.0.drv | ||
| armhf-linux | /gnu/store/mwabimpfv0kib0d428ld61kj3afk9xxh-lean-3.23.0.drv | ||
| aarch64-linux | /gnu/store/x73sgciqxakpfxlaahsbwa1r0rl1rhic-lean-3.23.0.drv |
| Linter | Message | Location |
|---|---|---|
| No lint warnings ✓ | ||