4 ms·
The author has been writing performant provers for a while :-) https://scholar.google.com/citations?user=ElzaeUYAAAAJ https://scholar.google.com/citations?user
by earleybird 12y ago
The author has been writing performant provers for a while :-)
https://scholar.google.com/citations?user=ElzaeUYAAAAJ https://scholar.google.com/citations?user=ElzaeUYAAAAJ
also Gandalf/Hobbit (SCM)
http://www.cs.miami.edu/~tptp/CASC/19/SystemDescriptions.html#Gandalf---c-2.6 http://www.cs.miami.edu/~tptp/CASC/19/SystemDescriptions.htm...