formal-land / coq-of-ocaml

Formal verification for OCaml

https://formal.land/docs/coq-of-ocaml/introduction

Create unique "counter" variables for recursive functions

clarus opened this issue 11 years ago · comments

Guillaume Claret commented 11 years ago