Post

My first taste of Lean. Numerical integration of the standard normal distribution - it feels more like a modern OCaml used as a general-purpose language. #Lean #OCaml