A Verified Theorem Prover Backend Supported by a Monotonic Library.

Vincent Rahli, Liron Cohen, Mark Bickford

Browse the full LPAR paper archive.