Ranald Clouston

Separata: Isabelle tactics for Separation Algebra

by Zhe Hou 📧, David Sanan 📧, Alwen Tiu 📧, Rajeev Gore 📧 and Ranald Clouston 📧