Forked from
Iris / stdpp
Source project has a limited visibility.
-
Robbert Krebbers authored
As suggested by Pierre-Marie Pédrot in the Coq-club thread: [Coq-Club] Very slow failing apply To work arround some performance issues in Iris.
Robbert Krebbers authoredAs suggested by Pierre-Marie Pédrot in the Coq-club thread: [Coq-Club] Very slow failing apply To work arround some performance issues in Iris.
