A Verified Decision Procedure for Orders in Isabelle/HOL.

Lukas Stevens, Tobias Nipkow

Browse the full ATVA paper archive.