cake_lpr: Verified Propagation Redundancy Checking in CakeML.

Yong Kiam Tan, Marijn J. H. Heule, Magnus O. Myreen

Browse the full TACAS paper archive.