Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
tezos
src
proto_alpha
lib_protocol
round_repr.ml
Find file
Blame
History
Permalink
Proto: renaming to avoid top-level collision in Coq
· c7fc68a3
Guillaume Claret
authored
Nov 05, 2021
and
Marge Bot
committed
Jan 24, 2022
c7fc68a3
