Scalable Fine-Grained Proofs for Formula Processing.

Haniel Barbosa, Jasmin Christian Blanchette, Pascal Fontaine

Browse the full CADE paper archive.