edu.washington.cs.types.checker : checker-framework

<!-- https://mavenlibs.com/maven/dependency/edu.washington.cs.types.checker/checker-framework --><dependency>
    <groupId>edu.washington.cs.types.checker</groupId>
    <artifactId>checker-framework</artifactId>
    <version>1.7.5</version>
</dependency>

// https://mavenlibs.com/maven/dependency/edu.washington.cs.types.checker/checker-frameworkimplementation group: 'edu.washington.cs.types.checker', name: 'checker-framework', version: '1.7.5'

// https://mavenlibs.com/maven/dependency/edu.washington.cs.types.checker/checker-frameworkimplementation 'edu.washington.cs.types.checker:checker-framework:1.7.5'

// https://mavenlibs.com/maven/dependency/edu.washington.cs.types.checker/checker-frameworkimplementation("edu.washington.cs.types.checker:checker-framework:1.7.5")

// https://mavenlibs.com/maven/dependency/edu.washington.cs.types.checker/checker-frameworklibraryDependencies += "edu.washington.cs.types.checker" % "checker-framework" % "1.7.5"

<!-- https://mavenlibs.com/maven/dependency/edu.washington.cs.types.checker/checker-framework --><dependency org="edu.washington.cs.types.checker" name="checker-framework" rev="1.7.5"/>

// https://mavenlibs.com/maven/dependency/edu.washington.cs.types.checker/checker-framework@Grapes(
    @Grab(group='edu.washington.cs.types.checker', module='checker-framework', version='1.7.5')
)

;; https://mavenlibs.com/maven/dependency/edu.washington.cs.types.checker/checker-framework[edu.washington.cs.types.checker/checker-framework "1.7.5"]

# https://mavenlibs.com/maven/dependency/edu.washington.cs.types.checker/checker-framework'edu.washington.cs.types.checker:checker-framework:jar:1.7.5'