Mechanised constructive reverse mathematics: soundness and completeness of bi-intuitionistic logic
Australasian Logic Colloquium 2023, 2023
Ian Shillito
he/him
Logician formalising in Rocq
- Melbourne, Australia
- University of Melbourne
- Google Scholar
- ORCID
- GitHub