## 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