Skip to content
GitLab
Explore
Sign in
Register
Julien Lepiller
coquille
Repository
coquille
ftdetect
coq.vim
Find file
Blame
History
Permalink
Bundled Vincent Aravantinos syntax and indent scripts for pathogen.
· ab944f35
Thomas Refis
authored
Apr 30, 2013
These and Coquille should be a good initial environment to start using Coq.
ab944f35