Functions

Learn about basic function verification.

Contents

• Function Specifications
• Verifying Some Examples