TacticToe: learning to prove with tactics
scientific article; zbMATH DE number 7356973
scientific article