Functional Programming in Lean - Functional Programming in Lean leanprover.github.io - get the latest breaking news, showbiz & celebrity photos, sport news & rumours, viral videos and top stories from leanprover.github.io Daily Mail and Mail on Sunday newspapers.