(coq.theory
(package Why3Bench-frama_c)
(name standard_algorithms.numeric_partial_sum.PartialSumStep_Why3_ide_vcg)
(theories Why3 numeric_partial_sum.A_AccumulateAxiomatic numeric_partial_sum.Axiomatic Why3.Cint Why3.Memory numeric_partial_sum.Axiomatic1 numeric_partial_sum.Compound Why3.Qed))
