Hacker News new | ask | show | jobs
How to setup Coq theorem prover for Vim and Neovim (kaustubh.page)
1 points by nikochiko 1140 days ago