search

siegebell / vscoq

Coq Support for Visual Studio Code
MIT License
92 stars 9 forks source link

AST parsing assumptions fails #130

Closed siegebell closed 7 years ago