Skip to content

DEV Community

# lean

👋 Sign in for the ability to sort posts by relevant, latest, or top.

Luis Cruz

Oct 24 '25

O que é GEMBA?

#devops #lean

4 min read

May 18 '25

The original motivation for creating Lean was software verification

#lean #programming #verification

1 min read

Jun 19 '25

Lean won the SIGPLAN Programming Languages Software Award 2025

#lean #leanlang #leanprover

4 min read

👋 Sign in for the ability to sort posts by relevant, latest, or top.