CASC-23 THF Division Winner
(Detailed Results)
CASC-24 THF Division Runner Up/Winner
(Detailed Results)
CASC-J7 THF Division Runner Up/Winner
(Detailed Results)
There are some automated theorem provers
based on higher-order logic... - Thomas Hales