Stern-Brocot Tree

swMATH28560MaRDI QIDQ40274FDOQ40274

Author name not available (Why is that?)

Cited In (3)

• Equational Reasoning with Applicative Functors
• A decision procedure for (co)datatypes in SMT solvers
• Friends with benefits. Implementing corecursion in foundational proof assistants

This page was built for software: Stern-Brocot Tree