Search results

Support string gaps, raw strings, etc.

Status: Open.

#8 In Julian/tree-sitter-lean;

· 414owen opened on Jan 13, 2026

_dollar seems to cause the grammar to explode

Status: Open.

#5 In Julian/tree-sitter-lean;

· vigoux opened on Oct 12, 2023

let-binds within lets are misparsed

Status: Open.

#3 In Julian/tree-sitter-lean;

· gebner opened on May 23, 2021

Function application should take precedence over continuing an open

Status: Open.

#2 In Julian/tree-sitter-lean;

· gebner opened on May 23, 2021

Run CI against Lean4 Codebases

Status: Open.

#1 In Julian/tree-sitter-lean;

· Julian opened on Mar 8, 2021