Spanish Lean Cited by user BeForth on 16 Nov 2023 Lean es un asistente de pruebas y un lenguaje de programación. Se basa en el cálculo de construcciones con tipos inductivos.
English Lean (proof assistant) Cited by user ZeroDaysForDays on 24 Mar 2023 Lean is a proof assistant and programming language. It is based on the calculus of constructions with inductive types.