Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Repository
why3
theories
seq.why
Find file
Blame
History
Permalink
Added new lemmas to seq theory: permut_refl, permut_sym, permut_all_mem
· c5e4ff67
Mário Pereira
authored
Jul 21, 2015
c5e4ff67