https://github.com/jroesch/language-lean

An Atom package for the Lean language
https://github.com/jroesch/language-lean

Last synced: 24 days ago
JSON representation

An Atom package for the Lean language

• Host: GitHub
• URL: https://github.com/jroesch/language-lean
• Owner: jroesch
• License: mit
• Created: 2015-06-11T10:55:49.000Z (over 9 years ago)
• Default Branch: master
• Last Pushed: 2016-12-13T22:17:07.000Z (almost 8 years ago)
• Last Synced: 2023-03-14T05:31:03.364Z (over 1 year ago)
• Language: JavaScript
• Size: 1.16 MB
• Stars: 2
• Watchers: 3
• Forks: 1
• Open Issues: 9
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGELOG.md
  • License: LICENSE.md

Awesome Lists containing this project

README

        
# Lean

Language support for the [Lean](http://leanprover.github.io/) programming language.

This is a work in progress, and currently only supports Lean 0.3.0 (known as Lean3).

The official release of this mode will coincide with the official of Lean 0.3.0.

If you are interested in contributing please check out the open issues, or submit

a pull request.

![Lean Screenshot](https://github.com/jroesch/language-lean/blob/master/gifs/lean-mode5.gif?raw=true)