aboutsummaryrefslogtreecommitdiff
path: root/src/Specific/IntegrationTestSquareDisplay.v
blob: bd5b9aaad6b3bacab43b1545f4fc7d72a12774af (plain) 
1
2
3
4

Require Import Crypto.Specific.IntegrationTestSquare.
Require Import Crypto.Specific.IntegrationTestDisplayCommon.

Check display square.
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-06 09:02:35 +0000