Search Criteria
Package Details: coq-unimath 20250923-1
Package Actions
| Git Clone URL: | https://aur.archlinux.org/coq-unimath.git (read-only, click to copy) |
|---|---|
| Package Base: | coq-unimath |
| Description: | Rocq library that formalizes mathematics from a univalent point of view. |
| Upstream URL: | https://unimath.github.io/UniMath/ |
| Licenses: | MIT |
| Submitter: | UnknownError |
| Maintainer: | UnknownError |
| Last Packager: | UnknownError |
| Votes: | 0 |
| Popularity: | 0.000000 |
| First Submitted: | 2026-02-15 22:43 (UTC) |
| Last Updated: | 2026-02-15 22:43 (UTC) |
Dependencies (7)
- rocq
- dune (make)
- ocaml (ocaml-gitAUR) (make)
- ocaml-compiler-libs (ocaml-compiler-libs-gitAUR) (make)
- ocaml-findlib (make)
- ocaml-zarith (make)
- pango (pango-gitAUR, pango-nothai-gitAUR) (make)