Zulip Chat Archive
Stream: Program verification
Topic: design by contract with lean
Wojciech Nawrocki (May 04 2020 at 11:44):
@Nam in the iterative sortedness check, did you mean if l[i] > l[i + 1]:?
Nam (May 04 2020 at 14:04):
oh, that's right! thank you!
Last updated: May 02 2025 at 03:31 UTC