Tag: Lean4

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 …

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 …