/Specs

Contains the specifications for the Java language used by OpenJML.

Primary LanguageJava

This repository contains versions of JML specification files for
the current version of the Java API, for some other libraries, and for
JML runtime files.