Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Repository
why3
src
tptp2why
tptp2why.ml
Find file
Blame
History
Permalink
small changes before refactoring to use why as a library
· 1ec6a28e
Simon Cruanes
authored
May 05, 2010
1ec6a28e