Meta Model Isabelle

swMATH28588MaRDI QIDQ40302FDOQ40302

Author name not available (Why is that?)

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

Cited In (2)

• Applicative Lifting
• Equational Reasoning with Applicative Functors

This page was built for software: Meta Model Isabelle