Closed adamhutchings closed 1 year ago
Closes #3 and #26.
Some code from @DrKlocekGit was temporarily removed. In particular, the "specification" API needs to be discussed because that will be a major part of the API for JML as a whole.
Closes #3 and #26.