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: Dec 20 2023 at 11:08 UTC
This topic was moved to #Type theory > Logics and lambda calculi by Mario Carneiro.
Last updated: Dec 20 2023 at 11:08 UTC