Functional Programming in Lean – a book on using Lean 4 to write programs

Story Published at: May 28, 2023 at 10:08PM