AddJavaDisplay.v « Reified « GF2213_32Reflective « SpecificGen « src - fiat-crypto - fast, formally verified cryptography

about summary refs log tree commit diff

path: root/src/SpecificGen/GF2213_32Reflective/Reified/AddJavaDisplay.v

blob: 7d88c2a6dea6145e5a68de4c248017bfe25d08d5 (plain)

Require Import Crypto.SpecificGen.GF2213_32Reflective.Reified.Add.
Require Export Crypto.Reflection.Z.JavaNotations.

Print raddW.