Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Guillaume Claret
tezos
Repository
tezos
src
proto_alpha
lib_protocol
apply_results.ml
Find file
Blame
History
Permalink
Proto: Fixes in apply_results.ml for coq-of-ocaml
· e7b4dc39
Daniel Hilst
authored
Apr 11, 2022
e7b4dc39