Functions and proofs about game trees in Rocq, implemented as rose trees. - View it on GitHub