LEGO (zkušební asistent) - LEGO (proof assistant)

tento článek ne uvést žádný Zdroje. Prosím pomozte vylepšit tento článek podle přidávání citací ke spolehlivým zdrojům. Zdroj bez zdroje může být napaden a odstraněn. Najít zdroje: „LEGO“ zkušební asistent  – zprávy  · noviny  · knihy  · učenec  · JSTOR (Srpna 2012) (Zjistěte, jak a kdy odstranit tuto zprávu šablony)

LEGO je důkaz asistent vyvinutý uživatelem Randy Pollack na University of Edinburgh. Implementuje několik teorií typů: Edinburghský logický rámec (LF) Počet konstrukcí (CoC) Zobecněný počet konstrukcí (GCC) a Sjednocená teorie závislých typů (UTT).

externí odkazy

• Oficiální webové stránky

Tento počítačová věda článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.

Tento matematická logika související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.