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: May 02 2025 at 03:31 UTC