3 ms·I whimsically imagine some version of bi-directional Hoare logic.by JadeNB 2y agoI whimsically imagine some version of bi-directional Hoare logic.