Jump to content

LEGO (proof assistant)

Edit links
From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by 174.23.65.179 (talk) at 19:40, 14 November 2017 (m). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

LEGO is a proof assistant developed by Randy Pollack at the University of Edinburgh. It implements several type theories: the Edinburgh Logical Framework (LF), the Calculus of Constructions (CoC), the Generalized Calculus of Constructions (GCC) and the Unified Theory of Dependent Types (UTT).

External links


Stub icon

This computer science article is a stub. You can help Wikipedia by expanding it.

Stub icon

This mathematical logic-related article is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=LEGO_(proof_assistant)&oldid=810356057"