GitHub.GG
Explore
Features
Pricing
Docs
Star
Sign In
tree-sitter-lean
Public
Experimental tree-sitter parser for the Lean (4) Theorem Prover
Star
0
Fork
0
Watch
0
Code
Diagram
Issues
Pull Requests
Actions
Security
Insights
Settings
Mermaid Diagram
Generating Mermaid diagram...