Equality.v « Strings « Util « src - fiat-crypto - fast, formally verified cryptography

about summary refs log tree commit diff

path: root/src/Util/Strings/Equality.v

blob: 2b64c92d6dc92576b35315007ee32dc31949c3f6 (plain)

Require Import Coq.Strings.Ascii Coq.Strings.String.
Require Import Crypto.Util.Bool.Equality.

Scheme Equality for ascii.
Scheme Equality for string.