Kevin Kappelmann

Type Annotations with Roundtrip Property

by Kevin Kappelmann, Maximilian Schäffeler, Lukas Stevens, Mohammad Abdulaziz, Andrei Popescu and Dmitriy Traytel

Zippy - Generic White-Box Proof Search with Zippers

by Kevin Kappelmann

Transport via Partial Galois Connections and Equivalences

by Kevin Kappelmann

Unification Utilities for Isabelle/ML

by Kevin Kappelmann

SpecCheck - Specification-Based Testing for Isabelle/ML

by Kevin Kappelmann, Lukas Bulwahn and Sebastian Willenbrink