Lib.rs

› Rust patterns › exspec
#language #exspec #testing #executable #verified

exspec-lang-rust

Owned by morodomi.

1 unstable release

new 0.1.1 Mar 11, 2026

#2814 in Rust patterns

MIT license

200KB
5K SLoC

Rust language support for exspec

Dependencies

~12MB
~323K SLoC