ppedrot / kravanenn

A set of tools for Coq written in Rust

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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

About

A set of tools for Coq written in Rust


Languages

Language:Rust 100.0%