LEGO proof assistant

E2202203 UNEXPLORED

The LEGO proof assistant is an early interactive theorem prover based on dependent type theory, used for constructing and checking formal mathematical proofs.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label	Occurrences
LEGO proof assistant canonical	1

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

Calculus of Constructions → influenced → LEGO proof assistant ⓘ

subject linked to: calculus of constructions