/lftcm2023_source

Exercises for the LftCM2023 workshop

Primary LanguageLean

Lean for the Curious Mathematician 2023

Düsseldorf, 4-8 Sep. 2023

This repository contains the exercises for the LftCM2023 workshop. It is based on Mathematics in Lean. (see also its Github Repo)

The workshops website: LftCM2023 webiste