Crane

1 min read Original article ↗

A new extraction system from Rocq to
functional-style, memory-safe, thread-safe, readable, valid, performant, and modern C++.