Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Repository
why3
theories
int.why
Find file
Blame
History
Permalink
Stdlib: int.ComputerDivision should provide separate "function" and "val"
· 6e9ded77
MARCHE Claude
authored
Mar 07, 2016
for div and mod since we need to check division by zero
6e9ded77