language-lean Atom langauge support for Lean jroesch 309 0 0.2.2 MIT GitHub Share Package Link MarkDown Link Iconic MarkDown Link Install language-lean package A short description of your package.
