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. |