Tao's Equational Proof Challenge Accepted.

Lydia Kondylidou, Jasmin Blanchette, Marijn J. H. Heule

Browse the full IJCAR paper archive.