Opam Package coqide.8.12.2

Package info

opam-namecoqide
opam-version8.12.2
synopsisIDE of the Coq formal proof management system
description CoqIDE is a graphical user interface for interactive development of mathematical definitions, executable algorithms, and proofs of theorems using the Coq proof assistant.
authors
  • The Coq development team, INRIA, CNRS, and contributors.
homepagehttps://coq.inria.fr/
licenseLGPL-2.1-only
deps (5)
revdeps(0)
metas(0)
libraries (1)

Package modules

Package sources

coqide

Package files

share/coq/default.bindings
share/coq/coq_style.xml
share/coq/coq.png
share/coq/coq.lang
share/coq/coq-ssreflect.lang
share/coq
lib/coq/ide/wg_Segment.cmi
lib/coq/ide/wg_ScriptView.cmi
lib/coq/ide/wg_RoutedMessageViews.cmi
lib/coq/ide/wg_ProofView.cmi
lib/coq/ide/wg_Notebook.cmi
lib/coq/ide/wg_MessageView.cmi
lib/coq/ide/wg_Find.cmi
lib/coq/ide/wg_Detachable.cmi
lib/coq/ide/wg_Completion.cmi
lib/coq/ide/wg_Command.cmi
lib/coq/ide/utf8_convert.cmi
lib/coq/ide/unicode_bindings.cmi
lib/coq/ide/tags.cmi
lib/coq/ide/session.cmi
lib/coq/ide/sentence.cmi
lib/coq/ide/preferences.cmi
lib/coq/ide/minilib.cmi
lib/coq/ide/microPG.cmi
lib/coq/ide/ideutils.cmi
lib/coq/ide/ide.cmxa
lib/coq/ide/ide.a
lib/coq/ide/gtk_parsing.cmi
lib/coq/ide/fileOps.cmi
lib/coq/ide/document.cmi
lib/coq/ide/coqide_ui.cmi
lib/coq/ide/coqide.cmi
lib/coq/ide/coq_lex.cmi
lib/coq/ide/coq_commands.cmi
lib/coq/ide/coqOps.cmi
lib/coq/ide/coq.cmi
lib/coq/ide/configwin_messages.cmi
lib/coq/ide/configwin_ihm.cmi
lib/coq/ide/configwin.cmi
lib/coq/ide/config_lexer.cmi
lib/coq/ide
doc/FAQ-CoqIde
bin/coqide