Skip to main content

Lifting and Transfer: A Modular Design for Quotients in Isabelle/HOL

Book cover

No cover available.