GitHub repository: pPomCo/coq-belgames-csl2023
Primary language: Coq
Created: 2022-07-12T09:09:10Z
Description: Coq proof for "Games of Incomplete Information: a Framework Based on Belief Functions"