Giters
hopv
/
rust-horn
RustHorn: A CHC-based automated verifier for Rust
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
60
Watchers:
6
Issues:
0
Forks:
0
hopv/rust-horn Issues
No issues in this repository yet.