Search Criteria
Package Details: lean4 4.0.0.m2-1
| Git Clone URL: | https://aur.archlinux.org/lean4.git (read-only, click to copy) |
|---|---|
| Package Base: | lean4 |
| Description: | Lean 4 programming language and theorem prover |
| Upstream URL: | https://github.com/leanprover/lean4 |
| Licenses: | |
| Submitter: | dariost |
| Maintainer: | dariost |
| Last Packager: | dariost |
| Votes: | 0 |
| Popularity: | 0.000000 |
| First Submitted: | 2021-01-24 14:07 |
| Last Updated: | 2021-03-16 18:01 |
Dependencies (2)
- gmp (gmp-hg, scipoptsuite, scipoptsuite-bin)
- cmake (cmake-git) (make)