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
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