issues
search
AU-COBRA
/
coq-rust-extraction
Coq plugin for extracting Rust code
MIT License
10
stars
3
forks
source link
Add changelog and readme
#29
Closed
4ever2
closed
3 months ago