Explore common topics, guides, and documentation for Crane.
Getting Started
Install Crane, configure Rocq, and run your first extraction.
Design Principles
The goals and tradeoffs behind Crane's C++ extraction strategy.
Examples
Browse example Rocq projects and extracted C++ code.
Reference Manual
Understand all Crane options, extraction rules, and flags.
Crane Base Library
... continue reading