Zulip Chat Archive
Stream: lean4
Topic: Logics and lambda calculi
Notification Bot (Nov 21 2023 at 18:36):
This topic was moved to #Type theory > Logics and lambda calculi by Mario Carneiro.
Last updated: May 02 2025 at 03:31 UTC
This topic was moved to #Type theory > Logics and lambda calculi by Mario Carneiro.
Last updated: May 02 2025 at 03:31 UTC