4 ms·If only there was some way to formally verify that an algorithm is correctly implementedby colonwqbang 5y agoIf only there was some way to formally verify that an algorithm is correctly implemented