How to setup Coq theorem prover for Vim and Neovim Posted by nikochiko on Tuesday May 09, 2023 @07:38PM from the kaustubh.page dept. https://kaustubh.page/posts/how-to-setup-coq-in-vim/ ( no comments | on HN )
There are no comments yet.