Skip to content
GitLab
Explore
Sign in
Iris
RefinedC
Repository
refinedc
theories
typing
programs.v
Find file
Blame
History
Permalink
add simplification instances to typed_if and typed_assert
· 7dc43e5b
Michael Sammler
authored
Jul 26, 2021
7dc43e5b