Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Repository
why3
examples
programs
verifythis_PrefixSumRec.mlw
Find file
Blame
History
Permalink
fm 2012 problem 2: a0 in indeed a ghost argument
· e1bd9a4f
Jean-Christophe Filliâtre
authored
Sep 06, 2012
(we do not have to use the ghost construct here, but it looks nicer)
e1bd9a4f