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