Giters

AU-COBRA / coq-rust-extraction

Coq plugin for extracting Rust code

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

coqextractionrust

rust-extraction

For documentation see ConCert

About

Coq plugin for extracting Rust code

coqextractionrust

License:MIT License

Languages

Language:Coq 78.3%Language:CSS 7.7%Language:JavaScript 7.0%Language:Makefile 3.1%Language:HTML 2.3%Language:Shell 1.4%