Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Repository
why3
stdlib
python.mlw
Find file
Blame
History
Permalink
external python printer/parser: div -> // and mod -> %
· cb1e8f28
Sylvain Dailler
authored
Sep 25, 2019
cb1e8f28