Вот книжка, в которой говорится, что последних ариан-ломбардов добивал Карл Великий, что даёт мне надежду и пробуждает интерес относительно источников информации.
При поиске по запросу "Charlemagne" в монументальном труде History of Arianism находится ненулевое количество результатов, что также обнадёживает, но пользы я из этого извлечь не могу в силу незнания английского языка.