Home

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 Types, monads, and utilities used from extracted code.	🛣️ Roadmap Planned features and upcoming improvements.