Nuprl proof development system

GPTKB entity