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