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
38
Rank
514445