Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Repository
why3
modules
mach
peano.mlw
Find file
Blame
History
Permalink
McCarthy's 91 function: machine integers implementation.
· 075c3788
Mário Pereira
authored
Aug 30, 2017
No extra annotations needed in order to prove overflow absence.
075c3788