レゴ（校正アシスタント）JJapedia 編集部|更新日: 2026年7月30日LEGOは、エジンバラ大学のランディ・ポラックによって開発された証明支援システムです。エジンバラ論理フレームワーク（LF）、構成計算（CoC）、一般化構成計算（GCC）、依存型の統一理論（UTT）など、いくつかの型理論を実装しています。[ 1 ]参考文献↑ 「ソフトウェア検索 - zbMATH Open」。zbmath.org 。2022年11月3日取得。外部リンク公式サイトカテゴリー：校正アシスタント依存型言語コンピュータサイエンスのスタブ数学的論理スタブ非表示のカテゴリ:短い説明付きの記事短い説明はWikidataとは異なります公式サイトはウィキデータとウィキペディアで異なりますすべてのスタブ記事関連するトピック関連エジンバラ大学関連証明支援システム関連エジンバラ論理フレームワーク関連構成計算
