Human-centered automated proof search
scientific article; zbMATH DE number 7461268
scientific article