Gitstar Ranking

leanprover / functional_programming_in_lean

A book about functional programming in Lean - View it on GitHub
https://leanprover.github.io/functional_programming_in_lean/
Star
39
Rank
548933