Lib.rs

›
#verifying #programs #constructing #api

boogie

构建和验证Boogie程序的API

所有者 David Pearce。

1个不稳定版本

0.1.0 2021年12月9日

#30 in #constructing

MIT/Apache

5KB

Boogie.rs

用于构建和验证Boogie程序的Rust API。

无运行时依赖