JO

JoeyEremondi/vscode-ott

Ott Support for Visual Studio Code

Migrated to https://codeberg.org/JoeyEremondi/vscode-ott

Languages

Coq83.2%TypeScript16.8%

Contributors

Other

Created February 2, 2018

Updated February 18, 2025

JoeyEremondi/vscode-ott | GitHunt