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: Apr 16 2024 at 17:01 UTC