LEGO

logical proof assistant

en-US/ˈlɛɡoʊ/

分类：

proof assistantprogramming language