/Functional-Programming-In-Lean

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

Primary LanguageLean

This repository is not active