Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for vim coq
coq
x
vim
x
6 search results found
Coqtail
⭐
233
Interactive Coq Proofs in Vim
Coquille
⭐
178
Interactive theorem proving with Coq in vim.
Coq.vim
⭐
16
Pathogen-compatible distribution of Vicent Aravantinos' vim scripts for Coq.
Coqpit.vim
⭐
7
Coqpit.vim brings the interactivity and asynchronous into your Vim and Neovim.
Analysis I
⭐
7
Formalization of proofs from Analysis I in the Coq and Lean.
Coq.vim
⭐
6
A simple Vim plugin for the Coq Proof Assistant
Related Searches
Viml Vim (4,328)
Plugin Vim (3,370)
Dotfiles Vim (2,608)
Shell Vim (2,150)
Vim Neovim (2,068)
Vim Vimrc (1,703)
Vim Zsh (1,589)
Vim Tmux (1,561)
Python Vim (1,560)
Vim Vundle (1,055)
1-6 of 6 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.