lua-vr / lean-ts-mode Public

A major-mode for Lean 4 based on tree-sitter. (not ready for use)

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 14 Commits
data		data
infoview		infoview
plugin		plugin
.gitignore		.gitignore
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
lean-ts-data.el		lean-ts-data.el
lean-ts-infoview.el		lean-ts-infoview.el
lean-ts-input.el		lean-ts-input.el
lean-ts-lake.el		lean-ts-lake.el
lean-ts-loogle.el		lean-ts-loogle.el
lean-ts-mathlib.el		lean-ts-mathlib.el
lean-ts-mode.el		lean-ts-mode.el
lean-ts-server.el		lean-ts-server.el
lean-ts-syntax.el		lean-ts-syntax.el