Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Repository
why3
drivers
tptp.drv
Find file
Blame
History
Permalink
fix my own silliness in provers-data.conf + remove bogus prelude from tptp.drv
· 3ed1ce1e
Andrei Paskevich
authored
Oct 25, 2010
3ed1ce1e