Intermediate
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…
Posts
-
-
Intermediate
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…
