signed binary digit streams

Last updated Feb 3, 2024

• A Calculator for Exact Real Number Computation (Plume, under Escardó, Simpson)