Lean-lang !
[mon avis] Lean-lang (lean4) vaut le détour, c’est un langage de programmation sympa (fluide, concis, élégant, puissant, etc.), mais surtout, […]
2026, Algorithmique, Algorithmique, Brève, Erlang, Jupyter, Lean, Programmation logique, ProLog