|
|
|
|
|
|
by catnaroek
4691 days ago
|
|
|
For me, it was the other way around: I started as a vim user, but, once I started using Emacs, I could never look back. Proof General (http://proofgeneral.inf.ed.ac.uk/) is, put it simply, the best environment for certified software development with theorem provers. And, even when using more mundane languages like Haskell, having the REPL (ghci) running within the text editor if very useful when one is lost in type land. |
|
|