MulJavaDisplay.v « Reified « GF2519_32Reflective « SpecificGen « src - fiat-crypto - fast, formally verified cryptography

about summary refs log tree commit diff

path: root/src/SpecificGen/GF2519_32Reflective/Reified/MulJavaDisplay.v

blob: 5b5740fc3814acfdf4363aed0379aba09dd0a54a (plain)

Require Import Crypto.SpecificGen.GF2519_32Reflective.Reified.Mul.
Require Export Crypto.Reflection.Z.JavaNotations.

Print rmulW.