Skip to content

Port to Coq #12512.

Robbert Krebbersrequested to merge
ci/robbert/coq12512 into master

This is an alternative to !464 (closed) avoiding the use of pose.

Merge request reports