11 ms·As a researcher in formal methods, I totally get youby rsrsrs86 7mo agoAs a researcher in formal methods, I totally get you