5 ms·
I've found the VS Code plugin for Microsoft's Lean Theorem prover to be quite nice as far as IDE support goes. https://leanprover.github.io/about/ https://lean
by pure-awesome 7y ago
I've found the VS Code plugin for Microsoft's Lean Theorem prover to be quite nice as far as IDE support goes.
https://leanprover.github.io/about/ https://leanprover.github.io/about/
https://github.com/leanprover/vscode-lean https://github.com/leanprover/vscode-lean
- bjz_ 7y agoYeah, I've be _really_ impressed with Lean's support. Wish other provers like Coq and Agda were at the same level (I know how challenging it is to do though).