/contracts

Symbolic financial contract EDSL

Primary LanguageCoqMIT LicenseMIT

Stargazers