KtoIsabelle

swMATH46092MaRDI QIDQ5974096FDOQ5974096

Author name not available (Why is that?)

Source code repository: https://github.com/liyili2/KtoIsabelle

Described by source

• A complete semantics of \(\mathbb{K}\) and its translation to Isabelle

This page was built for software: KtoIsabelle