Stream: VsCoq devs & users

Topic: how to "check" terms in the proof state?

Ralph Matthes (Jul 13 2022 at 15:44):

Using the command "Coq: Check" seems limited to the pane with the Coq vernacular. I do not see how to get the types of terms that appear in the proof state in the ProofView pane - other than elaborate copy-paste with Coq: Prompt Check. Is this a known limitation, a user error or a problem with my installation (on Ubuntu 20.04)?

Last updated: Jun 04 2023 at 23:30 UTC