Skip to content

Adapt to Coq PR #18591: better refolding of List.app inducing "simpl never" now better respected#224

Merged
mrhaandi merged 1 commit intouds-psl:masterfrom herbelin:master+adapt-coq-pr18591-simpl-never-refoldingJun 17, 2024
+2-2

Commits