Coq

Coq

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

ウェブサイト:

カテゴリー

オープンソースライセンスを備えたすべてのプラットフォーム用のCoqの代替