James-Oswald / Functional-Programming-In-Lean

My solutions for selected exercises in Christiansen's Book "Functional Programming In Lean"

https://leanprover.github.io/functional_programming_in_lean/

Geek Repo

Github PK Tool