Skip to content
GitLab
Explore
Sign in
Iris
c
Repository
c
theories
vcgen
dcexpr.v
Find file
Blame
History
Permalink
Make `dint_eq` more powerful.
· 8f46113a
Robbert Krebbers
authored
Jan 11, 2019
It can now handle cases like `0 = S x`.
8f46113a