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: Apache2
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)

Required by (0)

Sources (1)