search

leanprover / leanprover.github.io

www
https://lean-lang.org/
15 stars 24 forks source link

documentation for Visual Studio Code #58

Closed avigad closed 7 years ago

avigad commented 7 years ago

... and some cosmetic tinkering.

@gebner @kha @jroesch, let me know if I left anything out.