Codeminer42's Engineering Blog

Lean4

  • Exploring the Lean4 Language

    · 13 min read · by Sofia Rodrigues

    As a tech enthusiast, I've always been interested in new concepts that new programming languages can provide us. My curiosity has often taken me into uncharted territories, which remain unexplored…

  • Lean4: Crafting in an Uncharted Territory

    · 15 min read · by Sofia Rodrigues

    Armed with an unknown weapon called Lean4, I ventured into an arena known as 'Rinha de Backends', a challenge to determine (for fun) the fastest API for a simple specification.…