GitHub repository: pPomCo/belgames
Primary language: Coq
Description: Coq proof for "Games of Incomplete Information: a Framework Based on Belief Functions"