Maven Repository
If you are looking for URLs to jar files or stable identifiers for SNAPSHOT versions you can take a look at the full Maven repository for nl.jomco/proof-specs.
If you are looking for URLs to jar files or stable identifiers for SNAPSHOT versions you can take a look at the full Maven repository for nl.jomco/proof-specs.