GitHub repository: rse-verification/contract-compositionality
Primary language: Standard ML
Created: 2022-08-27T10:19:13Z
Description: HOL4 formalization of a theory of specifications, components, contracts, and compositionality