lean4game icon indicating copy to clipboard operation
lean4game copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

Extra help for 0 * m = m

Open Timmmm opened this issue 10 months ago • 2 comments

I got a bit stuck on this level. Probably missing something obvious but you might want to add a "show more help" for it. It doesn't seem like there is any way to get the solution if you are stuck at all?

Timmmm avatar Dec 26 '24 18:12 Timmmm