Page not in menu
This is a page not in the menu. You can use markdown in this page.
Ian Shillito
he/him
Logician formalising in Rocq
- Birmingham, UK
- University of Birmingham
- Google Scholar
- ORCID
- GitHub
This is a page not in the menu. You can use markdown in this page.