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