hprover - our proof search procedure with the depth cost model (Tactics.hprover)
tprover - our proof search procedure with the tree cost model (Tactics.tprover)
syelles - old incomplete implementation of our proof search procedure
ileancop - ileanCoP 1.2
firstoder - firstorder tactic with depth limit 10
hprove10 - our proof search procedure with the depth cost model and a fixed depth bound of 10 (Tactics.hprove 10)
