Ian Shillito
Publications
Talks
Teaching
CV
Ian Shillito
he/him
Logician formalising in Rocq
Follow
Birmingham, UK
University of Birmingham
Email
Google Scholar
ORCID
GitHub
Posts by Category