GitHub repository: philipp-zahn/contracts-algebra
Primary language: Haskell
Created: 2022-03-09T12:41:07Z
Description: Analysis of clause contracts using open games engine