CodeMirror plugin for Lean

Exercism
1

Could we also please have a codemirror-lang-lean repository for Lean.

Simple prototype

2

@ErikSchierboom - track maintainers are ready to progress from personal repos to a exercism/codemirror-lang-lean repo.

3

The repo has been created: GitHub - exercism/codemirror-lang-lean · GitHub

1 Like