Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Repository
why3
Makefile.in
Find file
Blame
History
Permalink
Realize some more theories about lists. Fix an inconsistent axiom along the way.
· 6b0c7b82
Guillaume Melquiond
authored
Jun 12, 2013
6b0c7b82