Zulip Chat Archive
Stream: new members
Topic: is there pattern matching with guards in Lean4
Henrik Böving (Dec 20 2023 at 17:22):
No this does not exist as of right now.
Last updated: Dec 20 2025 at 21:32 UTC
No this does not exist as of right now.
Last updated: Dec 20 2025 at 21:32 UTC