Fixed: The name of a cofixpoint globally defined with a name is now systematically reused by simpl after reduction, even when the named cofixpoint is mutually defined or defined in a section (#18576, fixes #4056, by Hugo Herbelin).

Provide feedback

Saved searches