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: 3 months 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 (almost 4 years ago)
• Default Branch: main
• Last Pushed: 2024-09-01T11:57:31.000Z (5 months ago)
• Last Synced: 2024-10-18T10:07:36.909Z (4 months ago)
• Topics: context-free-grammar, lean, lean4, syntax-highlighting, tree-sitter
• Language: C
• Homepage:
• Size: 244 MB
• Stars: 28
• Watchers: 5
• Forks: 5
• 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%3ACI

Can 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