logical_example.v
Lemma exo4 : False \/ True.
Proof.
right. exact I.
Qed.
講義資料や、ソースコードはこちら: https://staff.aist.go.jp/reynald.affeldt/ssrcoq/
More than 5 years have passed since last update.
AffeldtさんのSsreflect練習問題exo4
Last updated at Posted at 2015-07-18
Register as a new user and use Qiita more conveniently
- You get articles that match your needs
- You can efficiently read back useful information
- You can use dark theme