[Michocoq] Fuel-free WP for loop/lambda-free programs (!120) · Merge requests · Nomadic Labs / Mi-Cho-Coq · GitLab

Arvid Jakobsson requested to merge arvid@rafoo@fuelfree-wp into dev Apr 08, 2021

Work of @rafoo_ extracted from https://gitlab.com/nomadic-labs/mi-cho-coq/-/commits/rafoo@dexter_fa12lqt-verification

Edited Apr 08, 2021 by Arvid Jakobsson