Skip to content

Interactive theorem proving with Coq in vim.

License

Notifications You must be signed in to change notification settings

whonore/coquille

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

This fork has been moved to a separate project Coqtail.

About

Interactive theorem proving with Coq in vim.

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages

  • Vim Script 60.2%
  • Python 39.8%