example_coq.v\examplefiles\tests - delta/python-packages/pygments.git - bitbucket.org: Obsolete (use python-packages/pygments-git)

index : delta/python-packages/pygments.git

bitbucket.org: Obsolete (use python-packages/pygments-git)

summary refs log tree commit diff

path: root/tests/examplefiles/example_coq.v

blob: fd1a7bc8c9dcae16a3a75a9332da0be06d903d5b (plain)

Lemma FalseLemma : False <-> False.
tauto.
Qed.
Check FalseLemma.