Chapter 6. Using Gappa from other tools

Table of Contents

Why and Gappa
Example: floating-point square root
Passing hints through annotations
Execution results
Coq and Gappa