Lib.rs

› 开发工具 › 进程宏
#formal #specification #spec

宏 formal_spec

由 HKalbasi 所有。

1个不稳定版本

0.0.1 2021年11月19日

#13 in #formal

MIT/Apache

13KB
263 行

用于为Rust代码编写形式化规范的工具

依赖项

~1.5MB
~34K SLoC