Indeed let (like definition) does not enable recursion, but that's what fix is for. Fixpoint is mostly just a Definition that uses fix.
Thanks again for clarifications :smile:
fold_left did the job in my case.
Nikola Katić has marked this topic as resolved.
Last updated: Jan 27 2023 at 01:03 UTC