5 ms·Pragmatics of Formally Verified yet Efficient Static Analysis and Compilers2 points by matt_d 2y ago