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, […]
[mon avis] Lean-lang (lean4) vaut le détour, c’est un langage de programmation sympa (fluide, concis, élégant, puissant, etc.), mais surtout, […]
Cette année, Caseine fêtait ses 10 ans, l’occasion de présenter les diverses intégrations logicielles que j’ai pu faire pour Moodle
En 2017-2018, j’avais le plaisir de découvrir jupyter moodle/vpl depuis, les promesses se sont confirmées : ce sont des outils
[:fr]Les notebooks existent depuis pas mal de temps … il y en même un maintenant pour ProLog ! swish.swi-prolog.org
[:fr]J’ai cherché pendant un temps une corrélation entre le niveau d’Xp atteint sur EDBA et la réussite à l’examen de