Installation of Coq

Pierre Letouzey edited this page Oct 12, 2017 · 4 revisions

Installation of Coq with an IDE

You need to install Coq and either CoqIDE (recommended for beginners) or Proof General (recommended for emacs users).

Clone this wiki locally
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session.
Press h to open a hovercard with more details.