coq-rust-extraction

Coq plugin for extracting Rust code

MIT License

Stars
10
Committers
6

Commit Statistics

Past Year

All Time

Total Commits
30
83
Total Committers
2
7
Avg. Commits Per Committer
15.0
11.86
Bot Commits
4
5

Issue Statistics

Past Year

All Time

Total Pull Requests
20
31
Merged Pull Requests
18
28
Total Issues
6
7
Time to Close Issues
N/A
N/A