HomeIsabelle/Phabricator

official collection for bit projection simplifications