A Library for Algorithmic Game Theory in Ssreflect/Coq

PREREQUISITES

• Coq 8.6
• Ssreflect 1.6.1

Alternatively, in OPAM, make sure you've installed the following packages:

coq                            8.6  Formal proof management system.
coq-mathcomp-algebra         1.6.1  Mathematical Components Library on Algebra
coq-mathcomp-fingroup        1.6.1  Mathematical Components Library on finite groups
coq-mathcomp-ssreflect       1.6.1  Small Scale Reflection

BUILD

Just type

make

in the top-level project directory.