bloomberg/game-trees
Functions and proofs about game trees in Rocq, implemented as rose trees.
Stars: 16Language: Rocq Prover
Give AlbumentationsX a star on GitHub — it powers this leaderboard
Star on GitHubFunctions and proofs about game trees in Rocq, implemented as rose trees.