Visual Studio Code Extension and Language Server Protocol for Coq
GNU Lesser General Public License v2.1
137
stars
31
forks
source link
[limits] Display chosen backend on server init message, select best if no option given. #714
Closed
ejgallego closed 2 months ago