Exploring the Lean4 Language
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
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.…
