Structured Formal Development with Quotient Types in Isabelle/HOL.

Maksym Bortin, Christoph Lth

Browse the full AISC paper archive.