Skip to content
GitLab
Explore
Sign in
Iris
Actris
Repository
actris
theories
channel
proto.v
Find file
Blame
History
Permalink
Model that does not use subsingletons + prove iProto_le_app.
· f6726918
Robbert Krebbers
authored
Mar 26, 2020
f6726918