Geeks
mk12
/
vim-lean
Lean Theorem Prover plugin for Vim.
Primary Language
Vim Script
Apache License 2.0
Apache-2.0
vim-lean GitHub
Markdown
Readme
0
Issues
14
Stargazers
3
Watchers
Stargazers
adimanea
@Poligon-Educational
aodecipher
BachoSeven
PHC
conornewton
Bristol/London
dannypsnl
@second-state
gebner
Microsoft Research
j-hui
Columbia University
lewisje
Jansal Media
LUOHaoyuan0420
RobertZaks
rstammer
@trendence
rwst
symbiont-brian-shirai
utoppia
Looking For...