GitHub repository: mk12/vim-lean
Primary language: Vim script
Created: 2016-08-22T01:06:02Z
Description: Lean Theorem Prover plugin for Vim.