Stern-Brocot Tree
From MaRDI portal
Software:40274
No author found.
Related Items (3)
A decision procedure for (co)datatypes in SMT solvers ⋮ Friends with Benefits ⋮ Equational Reasoning with Applicative Functors
This page was built for software: Stern-Brocot Tree
