newton-aggregator 0.4.12

newton prover aggregator utils
Documentation