Verified and Optimized Implementation of Orthologic Proof Search.

Simon Guilloud, Clment Pit-Claudel

Browse the full CAV paper archive.