Round to Even, Proof Try #2#8

bollu wants to merge 18 commits intomainopencompl/fp-lean:mainfrom

rne-try-2opencompl/fp-lean:rne-try-2Copy head branch name to clipboard