GitHub - impermeable/codemirror-lang-verbose: CodeMirror language package for Verbose Lean support

impermeable / codemirror-lang-verbose Public

CodeMirror language package for Verbose Lean support

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
__tests__		__tests__
dist		dist
src		src
.gitignore		.gitignore
esbuild.mjs		esbuild.mjs
eslint.config.mjs		eslint.config.mjs
jest.config.js		jest.config.js
package-lock.json		package-lock.json
package.json		package.json
tsconfig.json		tsconfig.json

Provide feedback