Unification Utilities for Isabelle/ML

MaRDI QIDQ7361010FDO

Authors Kevin Kappelmann

Publication date 19 September 2023

Cites work

• Hints in Unification

Cited in

(2)

• Transport via Partial Galois Connections and Equivalences
• Zippy - Generic White-Box Proof Search with Zippers

This page was built for software: Unification Utilities for Isabelle/ML