About LEGO

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).

members

here now

Website: http://www.dcs.ed.ac.uk/home/lego/

Everything about LEGO →

Live room · 1 here

Be the first in the room — members see you arrive.

Join the room

Facts from Wikidata (CC0).

LEGO

logical proof assistant

0members1here now

Ask Genius Site

Site Journal

Not who you're looking for? Others named LEGO: construction toy · unincorporated community in Raleigh County, West Virginia · album by Sadist · musician from Madagascar

Feed Discussions About

Comments

Ask Genius by OpenServe:

Free account · your comment posts right after signup

About LEGO

members

here now

Website: http://www.dcs.ed.ac.uk/home/lego/

Everything about LEGO →

Live room · 1 here

Be the first in the room — members see you arrive.

Join the room

Facts from Wikidata (CC0).

Not who you're looking for? Others named LEGO: construction toy · unincorporated community in Raleigh County, West Virginia · album by Sadist · musician from Madagascar