Aggregates, symbolic index and quantifier alternation in specification obligations (#355) - #419

Aggregates, symbolic index and quantifier alternation in specification obligations (#355)#419

0xGeorgii wants to merge 1 commit into

mainInferara/inference:mainfrom

355-hassert-aggregatesInferara/inference:355-hassert-aggregatesCopy head branch name to clipboard