Why3 Proof Results for Project "sum_extended"

Theory "sum_extended.Sum_extended": fully verified in 0.17 s

ObligationsAlt-Ergo (1.01)
VC for sum_mult0.05
VC for sum_add0.04
VC for fubini---
split_goal_wp
  1. assertion0.01
2. postcondition0.01
3. variant decrease0.00
4. precondition0.01
5. assertion---
split_goal_wp
  1. assertion0.01
2. assertion0.02
6. postcondition0.01
VC for sum_ext0.01