aboutsummaryrefslogtreecommitdiff
path: root/src/Specific/solinas64_2e321m9_6limbs/fesubDisplay.v
blob: fe7e1f4b67c2e6c26f258c1a341e146df8a21755 (plain)
1
2
3
4
Require Import Crypto.Specific.solinas64_2e321m9_6limbs.fesub.
Require Import Crypto.Specific.Framework.IntegrationTestDisplayCommon.

Check display sub.