Julian Berman 1a04dcf10f Add Lean.sublime-syntax. ...

Covers syntax for Lean 3, an interactive theorem prover
at https://leanprover-community.github.io/ whose users
mostly use VSCode.

2021-01-02 09:45:19 +01:00

..

alternatives.md

Update alternatives.md

2019-02-07 23:52:31 +01:00

assets.md

Add Lean.sublime-syntax.

2021-01-02 09:45:19 +01:00

logo-header.svg

Make logo compatible with light and dark themes

2020-10-14 08:15:08 +02:00

README-ja.md

Bump version to 0.17.1

2020-11-24 21:40:11 +01:00

README-ko.md

Bump version to 0.17.1

2020-11-24 21:40:11 +01:00

README-ru.md

Bump version to 0.17.1

2020-11-24 21:40:11 +01:00