[mon avis] Lean-lang (lean4) vaut le détour, c’est un langage de programmation sympa (fluide, concis, élégant, puissant, etc.), mais surtout, […]
D’un coté il y a l’algorithmique que l’on souhaite enseigner aux étudiants, avec des concepts spécifiques (les structures de contrôle,
2 articles présentés à EIAH 2011 : Évaluations de solutions d’exercices d’algorithmique ” à la main ” versus ” automatiques
(rédaction initale en Juin 2007) Quelle surprise il y a quelques semaines quand j’ai cherché sur le web si, par