LEGO (proof assistant)

Known as: Lego (disambiguation)

LEGO is a proof assistant developed by Randy Pollack at the University of Edinburgh. It implements several type theories: the Edinburgh Logical…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2018

In this research, we proposed a game construction framework for designing games to teach young children programming in Taiwan. We…

2016

The traditional perspective of teaching has for a long time been centred on “how much” content has been learnt by the students…

2015

This is an online report commissioned in a series on pedagogic innovation by the Higher education Academy. This publication…

2014

The purpose of this paper is to identify mechanisms and approaches involved in the local construction individuals and companies…

2014

Key words: autobiographical pact, self-knowledge, auto fiction, reality, fiction, modern French literature. Autofiction is one of…

2014

2011

This paper describes competition-motivated teamwork and narratives to motivate teenager girls, 11–17 years old, to learn…

2010

Review

2005

Review

2005

This tutorial will present how instructors can incorporate LEGO robots into their AI course with minimal time, effort, and…

1999

Software for young children, which is only one small cut of the overall entertainment software pie, has followed a similar…