dev-lang/coq

A proof assistant.

Versions

Slot Version Repository Platforms
0 scm ocaml-unofficial ~amd64 arm? armv7? x86?
8.5-scm ocaml-unofficial ~amd64 arm? armv7? x86?
8.5-p2 ocaml-unofficial ~amd64 arm? armv7? x86?

Metadata

Choices

OPTIONS

gtk Build the CoqIDE tool