Skip to content
GitLab
Explore
Sign in
Iris
Actris
Repository
actris
theories
channel
proto_channel.v
Find file
Blame
History
Permalink
Close invariant under `iProto_le`. Remove updates from `iProto_le`.
· a180e106
Robbert Krebbers
authored
Mar 23, 2020
Symmetric proofs admitted.
a180e106