ppedrot / kravanenn

A set of tools for Coq written in Rust

Kravanenn

This is a Rust package providing a few tools for Coq. Most notably, there is currently:

• A library that reimplements OCaml native serialization from the Marshal module in pure Rust.
• A implementation of the Hopcroft algorithm tailored for the reduction of OCaml structures. See this OCaml implementation for more details.
• Stubs for browsing Coq vo object files