Zulip Chat Archive Stream: lean4 Topic: type error? Alexandre Rademaker (Apr 08 2022 at 20:06): (deleted) Last updated: Dec 20 2023 at 11:08 UTC