Coq | npm.io

🦅 cli syntax highlighting: any function - any object - 176 languages

3.0.0 • Published 2 years ago

🦅 cli syntax highlighting: any function - any object - 176 languages

1.0.1 • Published 5 years ago

🦅 cli syntax highlighting: any function - any object - 176 languages

2.1.0 • Published 6 years ago

hubot script for ProveEverywhere

0.1.0 • Published 10 years ago

🦅 cli syntax highlighting: any function - any object - 176 languages

3.0.0 • Published 3 years ago

Coq language server protocol client implementation

1.0.6 • Published 8 months ago

Coq Packages