Stern-Brocot Tree

MaRDI QIDQ40274swMATHFDO

Official website https://www.isa-afp.org/entries/Stern_Brocot.html

Cited in

(7)

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

This page was built for software: Stern-Brocot Tree