Lib.rs

› Development tools › Procedural macros
#formal #specification #spec

macro formal_spec

Owned by HKalbasi.

1 unstable release

0.0.1 Nov 19, 2021

#13 in #formal

MIT/Apache

13KB
263 lines

Tools of writing formal specification for rust code

Dependencies

~1.5MB
~37K SLoC