/summer-school-logic

Slides and exercises for the summer school on substructural and model logic. Pamplona June 2024.

This repository is not active