Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Repository
why3
src
tptp2why
tptpTranslate.ml
Find file
Blame
History
Permalink
tptp2why, using why as a library, works on agatha example.
· 6d363790
Simon Cruanes
authored
May 07, 2010
code is still quite ugly, and more testing is required
6d363790