Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Repository
why3
theories
list.why
Find file
Blame
History
Permalink
Improve the documentation of the standard library by uniformizing its layout and fix some typos.
· fc16f6f6
Guillaume Melquiond
authored
Apr 22, 2012
fc16f6f6