/SKT-VerifedContractTheory

Specification and implementation of Benveniste's contract theory in a framework formalized in Coq

Primary LanguageCoqGNU General Public License v3.0GPL-3.0

Stargazers