Package Details: arend 1.5.0-1

Git Clone URL: https://aur.archlinux.org/arend.git (read-only, click to copy)
Package Base: arend
Description: Proof assistant based on Homotopy Type Theory
Upstream URL: https://arend-lang.github.io/
Keywords: homotopy math proof
Licenses: Apache
Conflicts: arend
Provides: arend
Submitter: knisht
Maintainer: knisht
Last Packager: knisht
Votes: 0
Popularity: 0.000000
First Submitted: 2020-10-05 16:20 (UTC)
Last Updated: 2020-10-10 11:27 (UTC)

Dependencies (1)

Required by (0)

Sources (2)