Skip to content

Port to Coq #12512.

Robbert Krebbers requested to merge ci/robbert/coq12512 into master

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

Merge request reports