Skip to content

Extract dfrac notations

Adam requested to merge adamAndMath/iris:dfrac_notations into master

Requires coq version 8.14. This fixes the fixme introduced in !554 (merged). Coq issue #13654 was fixed by coq pr #14183.

Merge request reports