Topic

LEGO

0 members

What's driving coverage of LEGO right now?

Comments

Ask Genius by OpenServe:

Free account · your comment posts right after signup

LEGO

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

0 members

What's driving coverage of LEGO right now?

Comments

Ask Genius by OpenServe:

Free account · your comment posts right after signup

LEGO across IJR

On Watch

LEGO Skylines | Announcement TrailerLEGO Skylines

LEGO Official Trailer Recreation | Avengers: Doomsday | In Theaters December 18Marvel Entertainment

Avengers: Doomsday - Exclusive LEGO Trailer RemakeIGN

In the Arcade

ZoeCraft: Lego EditionMine, build, and adopt pets — from Sarasota to Candyland. Now starring the Lego parody.

Studio characters

Ruben GallegoThe version your group chat keeps imagining.Gina GallegoThe American actress doing a table read of your day.Jade CalegoryThe press filter is off tonight.

Ask Genius by OpenServe about LEGO Create in Studio Build a game Watch videos

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

Overview

From Wikipedia (CC BY-SA 4.0).