james-oswald / functional-programming-in-lean Goto Github PK
View Code? Open in Web Editor NEWMy solutions for selected exercises in Christiansen's Book "Functional Programming In Lean"
Home Page: https://leanprover.github.io/functional_programming_in_lean/