CCC YC Functional Programming in Lean – a book on using Lean 4 to write programs Story Published at: May 28, 2023 at 10:08PM May 28
