Zulip Chat Archive
Stream: lean4
Topic: Quick Tour Video
Chris Lovett (Jun 22 2022 at 04:05):
New video of the week: https://youtu.be/zyXtbb_eYbY
Feedback welcome, looking for any mistakes, and general ideas to improve it.
Wojciech Nawrocki (Jun 30 2022 at 02:22):
This is great! Should we have this one linked from the readme as well?
Last updated: May 02 2025 at 03:31 UTC