blockversewordysbillionaire.aiyourlistWhiteboardAppquizieunschool

News

Home
Popular
Elections

Genius — OpenServe

Sponsored

LEGO — latest news, discussion & facts — IJR

LEGO

Topic

LEGO

logical proof assistant

0members1here now

Ask Genius Site

Feed Discussions About

Sort by

Content type

Loading

Latest LEGO news and discussion

Sort by

Content type

Nothing published yet

The conversation starts anyway — post the first discussion above.

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

0

members

1

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.

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

LEGO across IJR

On Watch

Lego Music VideoThe White House

LEGO RED HOOD TRAILERforrestfire101

LEGO Skylines | Announcement TrailerLEGO Skylines

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