Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Repository
why3
src
transform
induction.ml
Find file
Blame
History
Permalink
working on lexicographic order for type definition induction generation
· 7729cc16
Léon Gondelman
authored
Jul 17, 2012
7729cc16