leanprover / fp-leanLinks

Functional Programming in Lean
81Updated last week

Alternatives and similar repositories for fp-lean

Users that are interested in fp-lean are comparing it to the libraries listed below

Sorting: