Zulip Chat Archive Stream: lean4 Topic: type error? Alexandre Rademaker (Apr 08 2022 at 20:06): (deleted) Last updated: Feb 28 2026 at 14:05 UTC