Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Repository
why3
Makefile.in
Find file
Blame
History
Permalink
move Termlib back to Term, since a leaked de Bruijn index allows
· aeb454f9
Andrei Paskevich
authored
Mar 10, 2010
to build an ill-typed formula. Unsafe functions are actually unsafe.
aeb454f9