Hi, I'm Simon. Most of my information can be found at the following places:
c-cube / coquille Goto Github PK
View Code? Open in Web Editor NEWThis project forked from the-lambda-church/coquille
Interactive theorem proving with Coq in vim.
License: ISC License