DMCA

Structured Formal Development with Quotient Types in Isabelle/HOL

by Maksym Bortin , Christoph Lüth , Deutsches Forschungszentrum , Künstliche Intelligenz