A scientific experiment into realistic provability with Rust - View it on GitHub