Proof Society 2025

Speaker

Ian Shillito

University of Birmingham

Talks at this conference:

 Thu, 14:20 Towards computing uniform interpolants for KM in Rocq
Contributed

 Overview  Program