vscoq icon indicating copy to clipboard operation
vscoq copied to clipboard

Published 20 hours ago • verified publisher icon siegebell

coqtop interactive shell

Open siegebell opened this issue 9 years ago • 0 comments

Feature -- "open coqtop here": runs coqtop interactively, optionally adds the commands up to the given point, and provides a terminal for the user to interact with coqtop.

siegebell avatar Oct 31 '16 15:10 siegebell