language-lean
Atom langauge support for Lean
jroesch 315 0 0.2.2 MIT GitHub

language-lean package

A short description of your package.

A screenshot of your package