4 ms·Yale philosophy replaced the grad logic req with a broader “formal methods“ req3 points by vector_spaces 3y agoakhayam 3y agoThis appears to be introducing a math prerequisite for graduation. Not sure if there is anything deeper though?