search

AU-COBRA / coq-rust-extraction

Coq plugin for extracting Rust code
MIT License
10 stars 3 forks source link

Support Coq 8.18 and Metacoq 1.2.1 #14

Closed 4ever2 closed 10 months ago