Discussions

• 1 You must be logged in to vote

  🙏

  Why is tree-sitter-lean exist if lean has it's own parser?

  brando90 asked May 17, 2025 in Q&A · Unanswered

  

  

  3