Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/julian/tree-sitter-lean
Experimental tree-sitter parser for the Lean (4) Theorem Prover
https://github.com/julian/tree-sitter-lean
context-free-grammar lean lean4 syntax-highlighting tree-sitter
Last synced: 1 day ago
JSON representation
Experimental tree-sitter parser for the Lean (4) Theorem Prover
- Host: GitHub
- URL: https://github.com/julian/tree-sitter-lean
- Owner: Julian
- License: mit
- Created: 2021-02-28T14:51:17.000Z (over 3 years ago)
- Default Branch: main
- Last Pushed: 2022-06-23T15:52:13.000Z (over 2 years ago)
- Last Synced: 2024-08-05T10:10:31.659Z (about 2 months ago)
- Topics: context-free-grammar, lean, lean4, syntax-highlighting, tree-sitter
- Language: C
- Homepage:
- Size: 244 MB
- Stars: 28
- Watchers: 5
- Forks: 4
- Open Issues: 4
-
Metadata Files:
- Readme: README.rst
- License: COPYING
Awesome Lists containing this project
README
================
tree-sitter-lean
================Experimental start on a `Lean 4
`_ grammar for `tree-sitter
`_.|CI|
.. |CI| image:: https://github.com/Julian/tree-sitter-lean/workflows/CI/badge.svg
:alt: Build status
:target: https://github.com/Julian/tree-sitter-lean/actions?query=workflow%3ACICan be used standalone, or in neovim with `nvim-treesitter
`_ via `lean.nvim
`_.Testing
-------Tests for the grammar live in ``test/corpus/*.txt``, and can be run as usual
for ``tree-sitter`` grammars with the `tree-sitter-cli
`_ via:.. code-block:: sh
$ tree-sitter generate && tree-sitter test