Source: wikibot/lego-proof-assistant

= LEGO (proof assistant)
{wiki=LEGO_(proof_assistant)}