aprender-verify 0.31.2

A scientific experiment into realistic provability with Rust - asymptotic test effectiveness framework
Documentation 
1
2
3
4
5

[toolchain]
channel = "stable"
components = ["rustfmt", "clippy", "rust-src"]
targets = ["x86_64-unknown-linux-gnu"]
profile = "minimal"