A formal embedding for assessing the complexity of model consistency. ~ Romain Pascual et als. https://assets-eu.researchsquare.com/files/rs-8978072/v1_covered_99de7da6-f305-417a-b332-cbc078feeab3.pdf #IsabelleHOL #ITP