coq-incomplete-games-rjcia2021
Documentation
Browse the Coq formalization online
, rendered by
Alectryon
Game forms and dependencies