bn:02667216n
Noun Named Entity
NL
LEGO
EN
LEGO is a proof assistant developed by Randy Pollack at the University of Edinburgh. Wikipedia
English:
proof assistant
Relations
Sources