Rocqing Proof Theory
Workshop tutorial at Proof Representations: From Theory to Applications, BIRS workshop 25w5406, Canada.
Talks & tutorials
2025
For workshop and conference contributions, see my extended abstracts and conference papers.
Workshop tutorial at Proof Representations: From Theory to Applications, BIRS workshop 25w5406, Canada.
For workshop and conference contributions, see my extended abstracts and conference papers.