2020-04-27 20:16:21 (GMT)
So, what version(s) of Zipperposition are entering? :-)
2020-04-28 5:22:51 (GMT)
The winner.
2020-04-28 8:5:52 (GMT)
THF for sure.. The results are quite promising (if I have no soundness bugs)
2020-04-28 8:6:4 (GMT)
I can also train FO version a bit better
2020-04-28 8:12:17 (GMT)
Even if we can't compete with Vampire in FOL, we can still enter the FOL competition for fun. I would suggest to enter HOL and FOL as we did last year.
2020-04-28 8:13:14 (GMT)
Me too :slight_smile: I was just saying that last year I did not put much attention in making FOL better.
We could do this this year