Search Criteria
Package Details: lean4 4.0.0.m3-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: | Apache2 |
| Submitter: | dariost |
| Maintainer: | dariost |
| Last Packager: | dariost |
| Votes: | 4 |
| Popularity: | 0.147740 |
| First Submitted: | 2021-01-24 14:07 (UTC) |
| Last Updated: | 2022-02-18 00:33 (UTC) |
Latest Comments
t3476 commented on 2022-02-02 20:59 (UTC) (edited on 2022-02-02 21:00 (UTC) by t3476)
Submodule lake is required at 'src/lake' for lean to be built.
git submodules in PKGBUILD
lake