Forked from
Iris / Iris
3182 commits behind the upstream repository.
-
Maxime Dénès authored
This is in preparation for coq/coq#9274.
Maxime Dénès authoredThis is in preparation for coq/coq#9274.
weakestpre.v 13.97 KiB
This is in preparation for coq/coq#9274.
This is in preparation for coq/coq#9274.