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. Open proposals from this repository are being carried over to cslib-frontier issues, crediting their authors.