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