Zulip Chat Archive
Stream: lean4
Topic: WITS'22 talk "Gotta prove fast"
Sebastian Ullrich (Feb 13 2022 at 10:42):
Recording now available at https://youtu.be/Tn74XMuTyM8
Last updated: Dec 20 2023 at 11:08 UTC
Recording now available at https://youtu.be/Tn74XMuTyM8
Last updated: Dec 20 2023 at 11:08 UTC