company-coq

Description:Collection of extensions for Proof General's Coq mode
License: GPL-3+
Homepage:https://github.com/cpitclaudel/company-coq/
Location:Portage
Legend:
  • + - stable
  • ~ - unstable
  • M - hardmask
alpha amd64 arm hppa ia64 m68k mips ppc ppc64 s390 sh sparc x86
1.0.1_p20220314 - ~ - - - - - - - - - - ~

Also available in: Atom

Thank you!