FinFuns

swMATH28536MaRDI QIDQ40250FDOQ40250

Author name not available (Why is that?)

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

Described by source

• Formalising FinFuns – Generating Code for Functions as Data from Isabelle/HOL

Cited In (7)

• A verified algorithm enumerating event structures
• A mechanised proof of Gödel's incompleteness theorems using Nominal Isabelle
• Containers
• Datatype Order Generator
• Jinja Threads
• Animating the formalised semantics of a Java-like language
• Light-weight containers for Isabelle: efficient, extensible, nestable

This page was built for software: FinFuns