AddDisplay.v « Reified « GF25519_32Reflective « SpecificGen « src - fiat-crypto - fast, formally verified cryptography

about summary refs log tree commit diff

path: root/src/SpecificGen/GF25519_32Reflective/Reified/AddDisplay.v

blob: ba6c45088d4bb5c2ffdb9b10d63fc6502d208b9c (plain)

Require Import Crypto.SpecificGen.GF25519_32Reflective.Reified.Add.
Require Export Crypto.Reflection.Z.CNotations.

Print raddW.