Giters

thelastjosh / clause2game

The Clause2Game library and data set

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

contracts-algebra

Analysis of clause contracts using open games engine

About

The Clause2Game library and data set

Languages

Language:Haskell 70.6%Language:C 29.4%