coq hardi

GPTKB entity