Zulip Chat Archive
Stream: mathlib4
Topic: conv
Xavier Roblot (Jan 24 2023 at 13:30):
Where can I find the syntax for conv in Lean4? In particular, what is the equivalent of skip?
Xavier Roblot (Jan 24 2023 at 13:54):
It seems that next => skip does the trick but there might be a better solution
Last updated: May 02 2025 at 03:31 UTC