GitHub repository: the-lambda-church/coquille
Primary language: Vim script
Description: Interactive theorem proving with Coq in vim.