/guest_lecture_charles_university

Slides and exercise problems for my guest lecture at Charles University in Prague.

Primary LanguageIsabelle

No issues in this repository yet.