VSCoq

https://github.com/rocq-prover/vsrocq

Visual Studio Code extension for Coq

Tokens:9,559
Snippets:52
Trust Score:8.5
License:MIT
Update:11 months ago
Tokens:
Raw