issues
search
AU-COBRA
/
coq-rust-extraction
Coq plugin for extracting Rust code
MIT License
10
stars
3
forks
source link
Update Metacoq to v1.2
#9
Closed
4ever2
closed
1 year ago