Verified Quadratic Virtual Substitution for Real Arithmetic by Matias Scharager, Katherine Kosaian, Stefan Mitsch and André Platzer Oct 02