LadderStepDisplay.v « Reified « GF41417_32Reflective « SpecificGen « src - fiat-crypto - fast, formally verified cryptography

about summary refs log tree commit diff

path: root/src/SpecificGen/GF41417_32Reflective/Reified/LadderStepDisplay.v

blob: 4d4666deeb82874bb8d7f222ee85f18f4664481d (plain)

Require Import Crypto.SpecificGen.GF41417_32Reflective.Reified.LadderStep.
Require Export Crypto.Reflection.Z.CNotations.

Print rladderstepW.