3
私は私の証明で使われたすべての公理を見たいと思っています。 このような情報を取得する最も簡単な方法は何ですか？ 使用するコマンドまたはスクリプトまたはツールはどれですか？ 私はすべての公理またはすべての使用された公理に興味があります。すべての公理を表示するCoq
A
答えて
4
関連する問題
- 1. Coq：環境内のユニバース内のすべての用語を表示する
- 2. 私のサーバーの公開リソースをすべて表示する方法
- 3. 流星/リアクト - すべてのユーザーを表示する（クライアントにすべてのユーザーを公開）
- 4. gsutilを使用してバケット内のすべてのオブジェクトのすべての公開リンクを表示
- 5. 管理者にすべてのデータを表示
- 6. 管理リンクをすべてのページに表示
- 7. すべてのゲームを表示する
- 8. single.phpを表示したときにx postの前に公開されたすべての投稿を表示
- 9. すべての物理ドライブの一覧表示（Windows）
- 10. NSWindowsをすべて表示
- 11. すべてを表示div
- 12. Githubがすべてのプルリクエストで私の前回のコミットをすべて表示する理由
- 13. すべてを非表示にする
- 14. 右クリック - >エンティティ上のデータを表示するとすべてのフィールドが表示されない理由
- 15. anglejs内の表示/非表示セクションをすべて表示/非表示
- 16. vb.net winformsユーザーコントロールのカスタムイベントを公開して表示する方法
- 17. Divを表示して他のすべてを非表示にする
- 18. カードを並べて表示する
- 19. ビューを並べて表示する
- 20. すべての商品を追加して表示するJavascriptで表示
- 21. DataReaderのすべての列を表示
- 22. ダイナミックテーブルのすべてのデータを表示
- 23. symfonyのすべてのフォームエラーを表示
- 24. UIActivityViewControllerのすべてのオプションを表示
- 25. データベーステーブルのすべての行を表示
- 26. すべてのメインレイアウトのレイアウトを表示
- 27. yasnippetのすべてのスニペットを表示
- 28. すべてのmessageHeaderの値を表示
- 29. テンプレートのすべてのモデルフィールドを表示
- 30. テーブルのすべてのデータを表示