… and I’ve completed a draft of the paper (on Michael Dummett, philosophy of logic, proof assistants, meaning and more) that I’ll present at the end of the month in London.
If you’d like to read it, you can download it from here:
https://consequently.org/presentation/2024/what-can-we-mean-aristo/
Feedback, as ever, is most welcome.