LINKDING
Shared bookmarks
Lean FRO
https://www.lean-lang.org/
Tags
#programacion
#matematicas
#proof-assistant
Date added
Oct. 5, 2024, 4:25 p.m.
Description
Asistente de pruebas matemáticas y lógicas, así como un lenguaje funcional de programación.
