tree sitter lean:精益(4)定理证明者的实验树保姆解析器 源码
树木稀少 从的语法开始实验。 可以单独使用,也可以通过在带有。 测验 语法test/corpus/*.txt实时存在于test/corpus/*.txt ,并且可以通过正常运行用于tree-sitter语法的测试,方法是: $ tree-sitter generate && tree-sitter test
文件列表
tree-sitter-lean-main.zip
(预估有个29文件)
tree-sitter-lean-main
README.rst
863B
Cargo.toml
510B
.github
workflows
pre-commit.yml
210B
ci.yml
290B
binding.gyp
335B
COPYING
1KB
src
暂无评论