Skip to content
Snippets Groups Projects

Let compilation under Coq 8.17 succeed without warnings.

Merged Robbert Krebbers requested to merge robbert/coq817 into master
  1. Apr 28, 2023
  2. Apr 25, 2023
Loading