/src/LegacyArithmetic/

• ../
• ArchitectureToZLike.v
• ArchitectureToZLikeProofs.v
• BarretReduction.v
• BaseSystem.v
• BaseSystemProofs.v
• Double
• Interface.v
• InterfaceProofs.v
• MontgomeryReduction.v
• Pow2Base.v
• Pow2BaseProofs.v
• README.md
• VerdiTactics.v
• ZBounded.v
• ZBoundedZ.v