Zulip Chat Archive
Stream: Lean in Vienna 2024
Topic: Resources
Pietro Monticone (Aug 29 2024 at 13:19):
Here we collect the main resources for the tutorial:
- Website: https://www.dmg.tuwien.ac.at/lean2024
- Repository: https://github.com/pitmonticone/LeanInVienna2024
Last updated: May 02 2025 at 03:31 UTC