Zulip Chat Archive
Stream: Lean Together 2024
Topic: pre-recorded talks
Rob Lewis (Jan 09 2024 at 13:32):
As part of the LT program, we have a collection of pre-recorded talks that we're hosting on YouTube. The speakers have committed to being at specific social hours to answer questions about their talks -- check the list at the bottom of our schedule page and find them on Gather!
Rob Lewis (Jan 09 2024 at 13:33):
The talks we've received so far:
- Alex Oltean, Towards a Completeness Proof of Hybrid Modal Logic
- Shashank Pathak, Autoformalization via Grammatical Framework
- Jack McKoen, Simplicial Homotopies in Lean
Rob Lewis (Jan 09 2024 at 13:34):
Another is processing as we speak, and a few more may go up this week. Check them out and drop by the Q&As!
Rob Lewis (Jan 09 2024 at 13:56):
The next one is now up:
- Bolton Bailey, Formalization of SNARKs
Rob Lewis (Jan 10 2024 at 19:51):
@Shashank Pathak and @Alex Oltean will be around in the Gather session at , to answer questions about their prerecorded talks. Stop in and say hi!
Rob Lewis (Jan 11 2024 at 16:45):
@Jack McKoen and @Bolton Bailey will be on Gather today at for their Q&A sessions!
Last updated: May 02 2025 at 03:31 UTC