Search Criteria
Package Details: lean4 4.0.0.m3-1
Package Actions
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.33 |
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