Mention VsCoq plugin and Coq Platform #115
Description
The book mentions CoqIDE, Coqoon and Proof General as tools facilitating interaction with Coq. It should probably mention the VsCoq plugin and the Coq Platform as well.
{{ message }}
The book mentions CoqIDE, Coqoon and Proof General as tools facilitating interaction with Coq. It should probably mention the VsCoq plugin and the Coq Platform as well.