Deriving class

MaRDI QIDQ40300swMATHFDO

Authors Christian Sternagel, René Thiemann

Publication date 11 March 2015

Official website https://www.isa-afp.org/entries/Deriving.html

Cites work

• Certification of Termination Proofs Using CeTA
• Light-weight containers for Isabelle: efficient, extensible, nestable
• The Isabelle collections framework

Cited in

(2)

• Foundational (co)datatypes and (co)recursion for higher-order logic
• Markov Models

This page was built for software: Deriving class