/LFTCM2024

Repository hosting resources for the 2024 workshop "Lean for the Curious Mathematician".

Primary LanguageLeanApache License 2.0Apache-2.0

Watchers

No one’s watching this repository yet.