aprender-verify 0.72.5

A scientific experiment into realistic provability with Rust - asymptotic test effectiveness framework
Documentation