Coq.vim Alternatives
Similar projects and alternatives to coq.vim
-
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
-
kok.nvim
Fast as FUCK nvim completion. SQLite, concurrent scheduler, hundreds of hours of optimization.
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
NOTE:
The number of mentions on this list indicates mentions on common posts plus user suggested alternatives.
Hence, a higher number means a better coq.vim alternative or higher similarity.
coq.vim reviews and mentions
Posts with mentions or reviews of coq.vim.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-08-15.
-
I spent 1 year of my life on making a fast as fuck Vim completion client with ass loads of features. (Author of CHADTree)
Coq is also the (unfortunate) name of the most widespread proof assistant around; while the currently dominant language support plugin is called CoqTail, Coq support plugins all riff on the same name. For instance, there is an interactive proof mode called coq.vim, a collection of syntax and indent scripts also called coq.vim, and the similarly-named Coquille.
Stats
Basic coq.vim repo stats
1
15
0.0
almost 5 years ago
The primary programming language of coq.vim is VimL.
Popular Comparisons
Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com