GeModulus.v « Reified « GF25519Reflective « Specific « src - fiat-crypto - fast, formally verified cryptography

about summary refs log tree commit diff

path: root/src/Specific/GF25519Reflective/Reified/GeModulus.v

blob: 225faacce04f0c5b10cc155a6ca140eea384a6eb (plain)

1
2
3

Require Import Crypto.Specific.GF25519Reflective.Common.

Definition rge_modulusZ_sig : rexpr_unop_FEToZ_sig ge_modulus. Proof. reify_sig. Defined.