Meta Model Isabelle

MaRDI QIDQ40302swMATHFDO

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

Cited in

(2)

• Equational Reasoning with Applicative Functors
• Applicative Lifting

This page was built for software: Meta Model Isabelle