Function pocket_prover::proven

pub fn proven<F: FnMut(&[u64]) -> u64>(n: usize, f: &mut F) -> bool

Returns true if proposition is correct, false otherwise.