GitHub repository: KirillZiborov/IsabelleCourse
Primary language: Isabelle
Created: 2023-12-21T13:52:58Z
Description: Lectures on Isabelle/HOL (MSU) 2023/2024