2 ms·Would you consider the formal verification community to be "rationalists"?by DoctorOetker 1y agoWould you consider the formal verification community to be "rationalists"?