Zulip Chat Archive
Stream: CSLib
Topic: Interesting talk
Ching-Tsun Chou (Dec 29 2025 at 22:20):
https://www.youtube.com/live/pa5mURjUNFI
Shreyas Srinivas (Dec 30 2025 at 01:56):
These results have been around since 2021. There are a few people who want to work on complexity theory within a basic lambda calculus who work in Rocq.
Last updated: Feb 28 2026 at 14:05 UTC