Forked from
Iris / stdpp
Source project has a limited visibility.
-
Robbert Krebbers authored
improve some definitions, simplify some proofs.
Robbert Krebbers authoredimprove some definitions, simplify some proofs.
improve some definitions, simplify some proofs.
improve some definitions, simplify some proofs.