This repository is not active
James-Oswald/Functional-Programming-In-Lean
My solutions for selected exercises in Christiansen's Book "Functional Programming In Lean"
Lean
My solutions for selected exercises in Christiansen's Book "Functional Programming In Lean"
Lean
This repository is not active