search

coq / vscoq

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

Chore: update protocol doc #879

Open rtetley opened 1 month ago