openserveblockversewordysbillionaire.aiyourlistWhiteboardAppquizieunschool

News

Discover
2026 Elections
Sports
Markets

LEGO — news, coverage & facts — IJR

|NewsJournalsTopicLEGO

Topic

LEGO

0 members

What's driving coverage of LEGO right now?

Comments

Ask this entity anything:

Free account · your comment posts right after signup

Top videos
Avengers: Doomsday - Exclusive LEGO Trailer Remake
YouTube · 28.4K views

Facts from Wikidata (CC0).

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

Overview

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). References External links Proof assistants Dependently typed languages

From Wikipedia (CC BY-SA 4.0).

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

LEGO across IJR

On Watch

Avengers: Doomsday - Exclusive LEGO Trailer RemakeIGN

SPLIT YOUR TIME WITH MARK & LEE PLAYING LEGO BATMAN!RDCWorldGaming

LEGO Star Wars: The Mandalorian | Official Trailer | September 2 on Disney+Star Wars

In the Arcade

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

Studio characters

Jade CalegoryThe press filter is off tonight.Paula GallegoThe press filter is off tonight.Marcela GallegoAll the charm, none of the schedule.

Ask IJR about LEGO Create in Studio Build a game Watch videos