// Vendored tree-sitter grammar: lean
#include "vendored/grammars/lean/parser.c"
#include "vendored/grammars/lean/scanner.c"