Deprecated in favor of cslib-frontier, the frontier formalization library for CSLib.
Propose new work as an issue on cslib-frontier rather than as a pull request to a roadmap repository. The B-tree development in this repository is being ported to cslib-frontier with its authorship preserved; its history remains here.