Zulip Chat Archive

Stream: general

Topic: Lean-auto talk at CAV

Yicheng Qian (Jul 26 2025 at 20:26):

Hi! I gave a talk about Lean-auto at CAV, which contained many updates compared to the talk I gave at LeanTogether 2023. Is there any chance I can post it on the leanprover-community youtube channel?

Kevin Buzzard (Jul 26 2025 at 20:43):

Who owns the copyright for the recording? Do you have the recording?

Yicheng Qian (Jul 26 2025 at 20:44):

Yes I have the recording. I haven't though about copyright though ...

Yicheng Qian (Jul 26 2025 at 20:44):

I recorded it on my laptop and I'm willing to share with anyone

Kim Morrison (Jul 26 2025 at 23:10):

Send me a link/file and I'll put it on the channel,

Last updated: Dec 20 2025 at 21:32 UTC