Mentions légales du service

Skip to content

Avoid relying on `apply`'s reduction behavior.

Maxime Dénès requested to merge mdenes/flocq:unifall-apply into master

This is in preparation for https://github.com/coq/coq/pull/991, but is compatible with Coq's master.

Edited by Maxime Dénès

Merge request reports