Tag: coq
Found 5 extensions tagged with "coq".
coq related extensions
-
Category: Other / Updated: January 22, 2022
Insert unicode symbols for latex names ...
-
Category: Other / Updated: November 20, 2020
Roosterize ...
-
Category: Themes / Updated: January 25, 2021
A higher contrast version of the popular Zenburn theme for Visual Studio Code. ...
-
Category: Programming Languages / Updated: February 21, 2024
An IDE for the Coq Proof Assistant ...
-
Category: Programming Languages / Updated: November 7, 2023
Syntax highlighting for Coq and Elpi ...
Recommended
A higher contrast version of the popular Zenburn theme for Visual Studio Code. ...
