Tag: automated engineering

Automated Reasoning 2020/2021Assignment: Theorem Proving in IsabelleJake Palmer Imogen Morris Jacques Fleuriot March 8, 2021IntroductionThe practical assignment for students on the Automated Reasoning course involves…