crvdgc / functional_programming_in_lean_examples

Examples and excersises for https://leanprover.github.io/functional_programming_in_lean/ (Lean 4)

Geek Repo

Github PK Tool