Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Repository
why3
bench
encoding
why.conf
Find file
Blame
History
Permalink
Merge theories and modules into stdlib (fix issue
#62
).
· efb51e7d
Guillaume Melquiond
authored
Dec 15, 2017
efb51e7d