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: Dec 20 2023 at 11:08 UTC