Stream: Coq Workshop 2021

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

view this post on Zulip 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: Oct 01 2023 at 19:01 UTC