/vscode-ott

Ott Support for Visual Studio Code

Primary LanguageCoqOtherNOASSERTION

Issues