Skip to content
GitLab
Explore
Sign in
Iris
RefinedC
Repository
refinedc
theories
typing
int.v
Find file
Blame
History
Permalink
Don't use val_to_Z_Some_inj and add wp cas rules for int and bool
· 13acc121
Michael Sammler
authored
Apr 19, 2021
13acc121