LEGO (proof assistant): Difference between revisions
From HandWiki
(url) |
(No difference)
|
Latest revision as of 00:01, 7 March 2023
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).[1]
References
External links
 |  |
