Zulip Chat Archive Stream: lean4 Topic: type error? Alexandre Rademaker (Apr 08 2022 at 20:06): (deleted) Last updated: May 02 2025 at 03:31 UTC