Extracting C++ from Lean¶

Basic Extraction¶

Controlling Extraction of Specific Types¶

A Complete Example¶

Discussion¶

Going Further¶

Table Of Contents

Extracting C++ from Lean

Related Topics

Documentation overview
- Previous: An Evaluation Function for Imp
- Next: More Automation

This Page

Show Source

Quick search

©2018, Pierce et al.. | Powered by Sphinx 1.7.2 & Alabaster 0.7.10 | Page source