Forked from
Iris / stdpp
Source project has a limited visibility.
-
Paolo G. Giarrusso authored
Use that in place of the old encoding: iris/stdpp#70 (comment 52817) Requires dropping support for Coq 8.7.
Paolo G. Giarrusso authoredUse that in place of the old encoding: iris/stdpp#70 (comment 52817) Requires dropping support for Coq 8.7.
