An introduction to Lean 4, a functional programming language by Adolfo Neto | Guild

Primary Photo for Adolfo Neto

An introduction to Lean 4, a functional programming language

Presentation byAdolfo Neto

In this video I present Lean, a functional programming language: https://lean-lang.org/

Guild

Get in touch!