Isomorphic Transfer Infrastructure for Nested Types in Isabelle/HOL (Work in Progress).

Gergely Buday, Andrei Popescu

Browse the full IFM paper archive.