AffeldtさんのSsreflect練習問題exo4

1071 ワード

ProofCafe Coq ssreflect Coq テキストリンク

logical_example.v

Lemma exo4 : False \/ True.
Proof.
  right. exact I.
Qed.

講義資料や、ソースコードはこちら: https://staff.aist.go.jp/reynald.affeldt/ssrcoq/

Author And Source

この問題について(AffeldtさんのSsreflect練習問題exo4), 我々は、より多くの情報をここで見つけました https://qiita.com/yoshihiro503/items/bd142fdb69c1fd64ab86

著者帰属：元の著者の情報は、元のURLに含まれています。著作権は原作者に属する。

Content is automatically searched and collected through network algorithms . If there is a violation . Please contact us . We will adjust (correct author information ,or delete content ) as soon as possible .