Skip to content
GitLab
Explore
Sign in
Iris
RefinedC
Repository
refinedc
theories
lang
int_type.v
Find file
Blame
History
Permalink
Refactor the [int] type to use [val_to_Z]..
· 813d3206
Rodolphe Lepigre
authored
Apr 16, 2021
813d3206