System Description: Interactive Proof Critics in XBarnacle.

Mike Jackson, Helen Lowe

Browse the full CADE paper archive.