mmalvarez/nonlinear

My implementation of Z3's nonlinear real arithmetic solver, in Coq