Kevin Kappelmann

Homepages 🌐

• https://www21.in.tum.de/team/kappelmk/

E-Mails 📧

• ed.mut @nnamleppak.nivek

Entries

2023

Transport via Partial Galois Connections and Equivalences

by Kevin Kappelmann 📧

Oct 11

Unification Utilities for Isabelle/ML

by Kevin Kappelmann 📧

Sep 19

2021

SpecCheck - Specification-Based Testing for Isabelle/ML

by Kevin Kappelmann 🌐, Lukas Bulwahn 📧 and Sebastian Willenbrink 📧

Jul 01