Mentions légales du service
Skip to content
GitLab
Explore
Sign in
PARREIRA PEREIRA Mário José
why3
Repository
why3
README.md
Find file
Blame
History
Permalink
Merge theories and modules into stdlib (fix issue
#62
).
· efb51e7d
Guillaume Melquiond
authored
Dec 15, 2017
efb51e7d