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: Feb 09 2023 at 03:06 UTC