LEGO (Q3205992)
Jump to navigation
Jump to search
logical proof assistant
Language | Label | Description | Also known as |
---|---|---|---|
English | LEGO |
logical proof assistant |
Statements
1.3.1
November 1998
1 reference
25 July 2019
Sitelinks
Wikipedia(2 entries)
- enwiki LEGO (proof assistant)
- frwiki LEGO (logiciel)