Forked from
Iris / stdpp
3562 commits behind the upstream repository.
-
Robbert Krebbers authored
Contrary to destruct_conj from Program.
Robbert Krebbers authoredContrary to destruct_conj from Program.
Contrary to destruct_conj from Program.
Contrary to destruct_conj from Program.