Geeks
digama0
/
coq-rs
A Coq .vo parser in Rust
Primary Language
Rust
MIT License
MIT
coq-rs GitHub
Markdown
Readme
0
Issues
2
Stargazers
2
Watchers
Stargazers
Blaisorblade
Bedrock Systems Inc.
huynhtrankhanh
@coq-community