Rare find

fp-lean. Functional Programming in Lean

github.com/leanprover/fp-lean
by @leanprover

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.