coq

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

USE flags

  • camlp5 - Build using camlp5. This is required for some plugins like Ssreflect.
  • 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)
  • ocamlopt - Enable ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable/enable it at a global scale)

Also available in: Atom

Thank you!