ADedecker/gauss

A (successful !) attempt at computing the Gaussian integral in Lean