Isabelle: A Generic Theorem Prover

GPTKB entity