LEGO (proof assistant)
WordNet

noun


(1)   (trademark) a child's plastic construction set for making mechanical models
 
x
OK