Several type theories influence the design of modern proof assistants.
いくつかの型理論は現代の証明支援ツールの設計に影響を与えている。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
