Mention VsCoq plugin and Coq Platform

math-comp / mcb

Mathematical Components (the Book)

Other

140 stars 25 forks source link

Mention VsCoq plugin and Coq Platform #115

Open anton-trunov opened 3 years ago

anton-trunov commented 3 years ago

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.