Skip to content
GitLab
Explore
Sign in
Iris
c
Repository
c
theories
lib
list.v
Find file
Blame
History
Permalink
Use custom comparison function instead of heap-lang's `=` in membership functions.
· b09eb8c0
Robbert Krebbers
authored
Jun 29, 2019
b09eb8c0