Verified Quadratic Virtual Substitution for Real Arithmeticby Matias Scharager, Katherine Cordwell, Stefan Mitsch and André Platzer02 Oct