coq

Description:Proof assistant written in O'Caml
License: LGPL-2.1
Homepage:http://coq.inria.fr/ https://github.com/coq/coq/
Location:Portage
Legend:
  • + - stable
  • ~ - unstable
  • M - hardmask
alpha amd64 arm hppa ia64 m68k mips ppc ppc64 s390 sh sparc x86
8.18.0 diff - ~ - - - - - - - - - - ~
8.17.1 - + - - - - - - - - - - ~

USE flags

  • debug - Enable extra debug codepaths, like asserts and extra output. If you want to get meaningful backtraces see https://wiki.gentoo.org/wiki/Project:Quality_Assurance/Backtraces
  • doc - Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally
  • gtk - Add support for x11-libs/gtk+ (The GIMP Toolkit)
  • gui - Enable support for a graphical user interface
  • ocamlopt - Enable ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable/enable it at a global scale)
  • test - Enable dependencies and/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently)

Also available in: Atom

Thank you!