 | coそれは数学的定義を書くための正式な言語を提供します。 |
| 今すぐダウンロード | |
co ランキングとまとめ
広告
co タグ
co 説明
COQは正式な証明管理システムです。 これは、機械チェックプルーフの半対話型開発のための環境とともに、数学的定義、実行可能なアルゴリズムおよび定理を書くための正式な言語を提供します。 典型的なアプリケーションには、プログラミング言語の意味、数学の形式化と教育の形式化の形式化が含まれます。 あなたの経験を共有する： このプログラムについてレビューを書く
co 関連ソフトウェア
