Researchers debated the formalizability of the new theory before attempting to implement it in a proof assistant.
研究者たちは、証明支援システムに実装しようとする前に、その新しい理論の形式化可能性について議論した。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
