org.dafny:DafnyRuntime

4.9.0last stable release 1 month ago
Complexity Score
High
Open Issues
1,267
Dependent Projects
4

Keywords

License

  • MIT
    • Yesattribution
    • Permissivelinking
    • Permissivedistribution
    • Permissivemodification
    • Nopatent grant
    • Yesprivate use
    • Permissivesublicensing
    • Notrademark grant

Readme

Loading Readme

Dependencies

Loading dependencies...

CVE IssuesActive
0
Scorecards Score
5.60
Test Coverage
No Data
Follows Semver
Yes
Github Stars
2,939
Dependenciestotal
0
DependenciesOutdated
0
DependenciesDeprecated
0
Threat Modelling
No
Repo Audits
No

Learn how to distribute org.dafny:DafnyRuntime in your own private Maven registry

mvn install org.dafny:DafnyRuntime
Processing...
Done
Start your free trial

Releases

Loading Version Data
Maven on Cloudsmith

Getting started with Maven on Cloudsmith is fast and easy.

Learn more about Maven on Cloudsmith
View the Cloudsmith + Maven DocsLearn about our Gradle supportLearn about our SBT support