Search Criteria
Package Details: lean 4.13.0-1
Package Actions
| Git Clone URL: | https://aur.archlinux.org/lean.git (read-only, click to copy) |
|---|---|
| Package Base: | lean |
| Description: | Lean 4 programming language and theorem prover |
| Upstream URL: | https://github.com/leanprover/lean4 |
| Keywords: | formal-methods proof-assistant theorem-prover |
| Licenses: | Apache |
| Submitter: | daskol |
| Maintainer: | daskol |
| Last Packager: | daskol |
| Votes: | 0 |
| Popularity: | 0.000000 |
| First Submitted: | 2024-11-07 20:23 (UTC) |
| Last Updated: | 2024-11-07 20:23 (UTC) |
Dependencies (4)
- gmp (gmp-hgAUR)
- libuv (libuv-gitAUR)
- llvm-libs (llvm-libs-rocm-gitAUR, llvm-libs-gitAUR)
- cmake (cmake-gitAUR) (make)