Computer-Aided Programming, Unguided Human Learning. Views are my own. he/him/his
- London, UK
- https://twitter.com/@maxheiber
Stars
2
stars
written in Vim Script
Clear filter
vinegar.vim: Combine with netrw to create a delicious salad dressing
Interactive theorem proving with Coq in vim.