terminate lean

Stream: new members

[sameeranjoshi]

(deleted)

[sameeranjoshi]

What does it mean by Convince Lean that functions terminate? I have some form of sorting code written in lean.

[Kim Morrison]

Could you post a #mwe, showing the code you've got now? It's much easier to give relevant advice if we can see where you are up to.

[Notification Bot]

This topic was moved here from #general > terminate lean by Eric Wieser.