Zulip Chat Archive
Stream: Zulip meta
Topic: type unicode in zulip
Kenny Lau (Jul 31 2020 at 09:19):
x-post: https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/type.20unicode.20in.20zulip
Last updated: Dec 20 2023 at 11:08 UTC
x-post: https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/type.20unicode.20in.20zulip
Last updated: Dec 20 2023 at 11:08 UTC