Functions and proofs about game trees in Rocq, implemented as rose trees.
-
Updated
Sep 11, 2026 - Rocq Prover
#
anamorphism
Here are 2 public repositories matching this topic...
A small library for mapping and folding trees.
-
Updated
Oct 24, 2018 - PHP
Add this topic to your repo
To associate your repository with the anamorphism topic, visit your repo's landing page and select "manage topics."