search

coq / vscoq

Visual Studio Code extension for Coq
MIT License
335 stars 68 forks source link

feat: Disable the auto display for the proof view #887

Closed rtetley closed 1 month ago

rtetley commented 1 month ago

Closes #876