Sophie Tourret

https://www.mpi-inf.mpg.de/departments/automation-of-logic/people/sophie-tourret

2020

Extensions to the Comprehensive Framework for Saturation Theorem Proving
by Jasmin Christian Blanchette and Sophie Tourret

25 Aug

A Comprehensive Framework for Saturation Theorem Proving
by Sophie Tourret

09 Apr