io.github.bonede : tree-sitter-lean

<!-- https://mavenlibs.com/maven/dependency/io.github.bonede/tree-sitter-lean --><dependency>
    <groupId>io.github.bonede</groupId>
    <artifactId>tree-sitter-lean</artifactId>
    <version>main</version>
</dependency>

// https://mavenlibs.com/maven/dependency/io.github.bonede/tree-sitter-leanimplementation group: 'io.github.bonede', name: 'tree-sitter-lean', version: 'main'

// https://mavenlibs.com/maven/dependency/io.github.bonede/tree-sitter-leanimplementation 'io.github.bonede:tree-sitter-lean:main'

// https://mavenlibs.com/maven/dependency/io.github.bonede/tree-sitter-leanimplementation("io.github.bonede:tree-sitter-lean:main")

// https://mavenlibs.com/maven/dependency/io.github.bonede/tree-sitter-leanlibraryDependencies += "io.github.bonede" % "tree-sitter-lean" % "main"

<!-- https://mavenlibs.com/maven/dependency/io.github.bonede/tree-sitter-lean --><dependency org="io.github.bonede" name="tree-sitter-lean" rev="main"/>

// https://mavenlibs.com/maven/dependency/io.github.bonede/tree-sitter-lean@Grapes(
    @Grab(group='io.github.bonede', module='tree-sitter-lean', version='main')
)

;; https://mavenlibs.com/maven/dependency/io.github.bonede/tree-sitter-lean[io.github.bonede/tree-sitter-lean "main"]

# https://mavenlibs.com/maven/dependency/io.github.bonede/tree-sitter-lean'io.github.bonede:tree-sitter-lean:jar:main'