================================================================================
Extracting C++ from Lean
================================================================================

Basic Extraction
================================================================================

Controlling Extraction of Specific Types
================================================================================

A Complete Example
================================================================================

Discussion
================================================================================

Going Further
================================================================================