Stream: Coq Workshop 2021

Topic: [S3T2] Extending MetaCoq Erasure: Extraction to Rust and Elm

Bas Spitters (Jul 02 2021 at 13:59):

Another possibility would be to use hacspec, which is a small subset of rust. Our group (@Mikkel Milo ) recently added a Coq backend to that.

Last updated: Aug 11 2022 at 03:02 UTC