All Downloads are FREE. Search and download functionalities are using the official Maven repository.

META-INF.MANIFEST.MF Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of key.core Show documentation

Core functionality (terms, rules, prover, ...) for deductive verification of Java programs

The newest version!

Manifest-Version: 1.0

© 2015 - 2025 Weber Informatics LLC | Privacy Policy