?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
ease the proof of coincidence count
[why3.git] / drivers / iprover.drv
blob102a30c73dd70bb70106775690d5fa30b065847c
1 (* Why driver for first-order tptp provers *)
2
3 timeout "Time Out Virtual"
4
5 import "tptp.gen"
6 import "discrimination.gen"
A platform for deductive program verification