Rare find

lean-pitfalls. Documenting common pitfalls and footguns in Lean

github.com/nielsvoss/lean-pitfalls

by

@nielsvoss

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.