Comment on The Mechanics of ProofparentComments−ykonstant2yYour best bet lies with the introductory Functional Programming in Lean: https://lean-lang.org/functional_programming_in_lean/
Comments
Your best bet lies with the introductory Functional Programming in Lean: https://lean-lang.org/functional_programming_in_lean/