Skip to content
GitLab
Explore
Sign in
Iris
RefinedC
Repository
refinedc
examples
proofs
spinlock
spinlock_def.v
Find file
Blame
History
Permalink
Define [builtin_boolean] using [generic_boolean].
· 9dd08144
Rodolphe Lepigre
authored
Sep 22, 2021
9dd08144