Code

Add sketch for tree-sitter mode#1369

Code

Merged

mn200 merged 1 commit intoHOL-Theorem-Prover:developHOL-Theorem-Prover/HOL:developfrom dnezam:tree-sitterdnezam/HOL:tree-sitterCopy head branch name to clipboardDec 13, 2024

+4,669

Commits

Commits on Dec 11, 2024

• Add sketch for tree-sitter mode

  dnezam

  committed
  0a68e47