This package adds support for Verbose Lean to CodeMirror
- Originally developed by TU-e-SEP-2025-Group-14 in their repository.
- Later adopted and further developed by impermeable.
impermeable/codemirror-lang-verbose
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|