Language, Proof and Logic software package

GPTKB entity