More than 5 years have passed since last update.
@yoshihiro503in👁 Image
株式会社proof ninja
株式会社proof ninja
AffeldtさんのSsreflect練習問題exo4
1
Last updated at Posted at 2015-07-18
logical_example.v
Lemmaexo4:False\/True.Proof.right.exactI.Qed.講義資料や、ソースコードはこちら: https://staff.aist.go.jp/reynald.affeldt/ssrcoq/
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