ParentFull threadAndreasFrom·They give an explanation here.https://coq.inria.fr/faq?q=node/16&som=2#htoc4View on HN