coffee.pygments/tests/examplefiles/verilog/example_coq.v at master - coffee/coffee.pygments - Ari::web -> Git: The for gay yo of ari.lt (accounts are manually reviewed)

coffee/coffee.pygments

Archived

This repository has been archived on 2024-06-20. You can view files and clone it, but you cannot make any changes to it's state, such as pushing and creating new issues, pull requests or comments.

Oleh Prypin 6f43092173

Also add auto-updatable output-based tests to examplefiles (#1689 )

Co-authored-by: Georg Brandl <georg@python.org>

2021-01-20 10:48:45 +01:00

4 lines

66 B

Coq

Raw Permalink Blame History

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