Zulip Chat Archive
Stream: lean4
Topic: list comprehension
Jiatong Yang (Dec 13 2022 at 03:25):
Is there list comprehension in Lean4?
James Gallicchio (Dec 13 2022 at 03:53):
relevant: https://leanprover.zulipchat.com/#narrow/stream/270676-lean4/topic/List.20Functor
Last updated: May 02 2025 at 03:31 UTC