#

anamorphism

Here are 2 public repositories matching this topic...

bloomberg / game-trees

Functions and proofs about game trees in Rocq, implemented as rose trees.

game-theory anamorphism game-trees rose-trees

Updated Apr 14, 2026
Rocq Prover

pwm / treegami

A small library for mapping and folding trees.

tree-folding catamorphism anamorphism

Updated Oct 24, 2018
PHP

Improve this page

Add a description, image, and links to the anamorphism topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the anamorphism topic, visit your repo's landing page and select "manage topics."