rocq (lang/rocq) Updated: 1 week ago Add to my watchlist
Proof assistant for higher-order logicRocq (formerly coq) is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using OCaml and Dune.
Version: 9.2.0 License: LGPL-2.1
GitHub
| Maintainers | pmetzger |
| Categories | lang math |
| Homepage | https://rocq-prover.org/ |
| Platforms | darwin |
| Variants | - |
Subport(s) (1)
"rocq" depends on
lib (2)
build (3)
test (1)
Ports that depend on "rocq"
No ports
Port notes
The style file for LaTeX documentation, coqdoc.sty, is in ${prefix}/share/coq/latex. Add this to your TEXINPUTS if you wish to use it.
Port Health:
Loading Port Health
Installations (30 days)
0
Requested Installations (30 days)
0
Livecheck results
rocq seems to have been updated (port version: 9.2.0, new version: 9.3+alpha)
livecheck ran: 1 day, 15 hours ago