Fraud Proof Games Software

@misc{dagstuhl-artifact-23003,
   title = {{Fraud Proof Games}}, 
   author = {Ceresa, Mart{\'\i}n and S\'{a}nchez, C\'{e}sar},
   note = {Software, version 1., swhId: \href{https://archive.softwareheritage.org/swh:1:dir:761ba38f606c1b4a0a9e202e6518d092d51ff381;origin=https://gitlab.software.imdea.org/martin.ceresa/leanfpgames;visit=swh:1:snp:fac56d84158cb280cdb40d50d82de3afae8bc491;anchor=swh:1:rev:7d12774f898db347810efdabd41c8a81b867222f}{\texttt{swh:1:dir:761ba38f606c1b4a0a9e202e6518d092d51ff381}} (visited on 2025-05-16)},
   url = {https://gitlab.software.imdea.org/martin.ceresa/leanfpgames},
   doi = {10.4230/artifacts.23003},
}