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.129919
First Submitted: 2021-01-24 14:07 (UTC)
Last Updated: 2022-02-18 00:33 (UTC)

Dependencies (2)

Required by (0)

Sources (1)

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