The Proof Certifier Checkers.

Zakaria Chihani, Tomer Libal, Giselle Reis

Browse the full TABLEAUX paper archive.