First-Order Bi-Intuitionistic Logics: From Shaky to Formally Verified Foundations
Australasian Association for Logic Conference, 2022
Ian Shillito
he/him
Logician formalising in Rocq
- Melbourne, Australia
- University of Melbourne
- Google Scholar
- ORCID
- GitHub