Le Formicarius, écrit entre 1436 et 1438 par Johannes Nider lors du Concile de Bâle et imprimé pour la première fois en 1475, est le deuxième livre jamais publié sur la sorcellerie (le premier livre étant "Fortalitium Fidei"")" . Nider traite spécifiquement de la sorcellerie dans la cinquième section du livre. Contrairement à ses successeurs, il n'insiste pas sur l'idée du sabbat des sorcières et reste sceptique quant à l'affirmation selon laquelle les sorcières pourraient voler de nuit. Avec plus de manuscrites des éditions du quinzième et du début du seizième siècle des années 1470 à 1692, le "Formicarius" est un ouvrage important pour l'étude des origines des procès de sorcières au début de l'Europe moderne, car il en éclaire la première moitié du .