Skip to content

Coq: fix non-mutually recursive functions with measures#373

Merged
bacam merged 1 commit intorems-project:sail2from bacam:coq-limitsNov 14, 2023