Данная статья является адаптированной русскоязычной версией моей статьи: Handling fold_left in proofs . Функция fold_left , сворачивающая список, довольно популярна во многих (функциональных и...