
Theorem proving competition overview and results
Published on Feb 4, 20253804 Views
Slides presentation can be found at http://www.cs.miami.edu/~tptp/Seminars/CASC/CASC-J6/CASC@Turing/.
Slides presentation can be found at http://www.cs.miami.edu/~tptp/Seminars/CASC/CASC-J6/CASC@Turing/.