GitHub repository: lftcm2023/lftcm2023_source
Primary language: Lean
Description: Exercises for the LftCM2023 workshop