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