123
Coq

Coq

Coqはプルーフアシスタントであり、厳密で正式な方法で数学的プルーフを記述し、コンピューターで正確性をチェックすることができます。
Coqはプルーフアシスタントであり、厳密で正式な方法で数学的プルーフを記述し、コンピューターで正確性をチェックすることができます。また、コードの正確性の証明と依存型を使用したプログラミングも可能です。

ウェブサイト:

カテゴリー

商用ライセンスを使用するすべてのプラットフォーム用のCoqの代替