The Coq mailing list

[Xuanrui Qi <xqi01 AT cs.tufts.edu>]

There seems to be a page on GUI/IDEs for Coq on the Coq wiki: 
https://github.com/coq/coq/wiki/Tools. Besides Proof General and
CoqIDE, there are Coq plugins for Eclipse and VS Code.

There should be plenty of resources on how to write/extend Eclipse
and/or VS Code, depending on whether you'd write Java/Scala or
JavaScript/TypeScript...

-Ray

-- 
Xuanrui "Ray" Qi
Department of Computer Science
Tufts University
161 College Ave, Halligan Hall
Medford, MA 02144, USA

Email: 
xqi01 AT cs.tufts.edu

On Thu, 2018-10-18 at 13:45 -0700, Talia Ringer wrote:
> Thanks all! To clarify, I'm looking to extend IDEs that already have
> Coq support with some useful development tools.
> 
> On Thu, Oct 18, 2018, 12:54 PM Xuanrui Qi 
> <xqi01 AT cs.tufts.edu>
>  wrote:
> > Hello Talia,
> > 
> > Maybe check out Visual Studio Code and Atom (though neither are
> > exactly
> > IDEs, although the former is more like an IDE)? VSCode already has
> > an
> > interactive mode for Isabelle, and Atom a mode for Idris, so it
> > suggests that a similar mode is possible for Coq. Also, maybe
> > IntelliJ
> > would work as well?
> > 
> > There are a lot of material on writing VSCode and Atom extensions
> > online. Here, for example, is the official guide on writing VSCode
> > extensions: https://code.visualstudio.com/docs/extensions/overview.
> > 
> > Again, this isn't something I'm an expert in, so leaving the rest
> > of
> > the discussion to other members of the list.
> > 
> > -Ray
> >