The proof assistant provides a tactical that composes basic tactics to simplify and solve goals.
その証明支援環境は、基本的なタクティックを組み合わせてゴールを簡略化・解決する戦術結合子を提供します。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
