newton-aggregator 0.4.13

newton prover aggregator utils
Documentation