«

»

Jun 22

Two papers accepted at PxTP 2015

The following papers authored by members of Parsifal were accepted to the fourth workshop on Proof eXchange for Theorem Proving: