veyselusta / functional-programming-in-lean

Code samples and exercises for the docs provided by Lean community for people to learn functional programming in Lean

Geek Repo

Github PK Tool