Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for vim proof assistant
proof-assistant
x
vim
x
3 search results found
Coqtail
⭐
233
Interactive Coq Proofs in Vim
Sml Redprl
⭐
214
The People's Refinement Logic
Coq.vim
⭐
16
Pathogen-compatible distribution of Vicent Aravantinos' vim scripts for Coq.
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-3 of 3 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.
