Buy Me a Coffee at ko-fi.com

Lego

logical proof assistant

Pronunciation
/ˈlɛɡoʊ/
/ˈlɛɡəʊ/