mcb icon indicating copy to clipboard operation
mcb copied to clipboard

Published 20 hours ago • verified publisher icon math-comp

Mention VsCoq plugin and Coq Platform

Open anton-trunov opened this issue 3 years ago • 0 comments

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.

anton-trunov avatar May 10 '21 08:05 anton-trunov