Skip to content

Add existentials to the translation

Guillaume Claret requested to merge with-explicit-existentials into master

An MR with the existentials as generated by the https://github.com/clarus/coq-of-ocaml/pull/192 branch.

Edited by Guillaume Claret

Merge request reports