Retourner au contenu associé (dépêche : Programmer des démonstrations : une modeste invitation aux assistants de preuve)
Posté par Ysabeau 🧶 (site web personnel, Mastodon) le 24 février 2025 à 15:50. En réponse à la dépêche Programmer des démonstrations : une modeste invitation aux assistants de preuve. Évalué à 3.
Merci (?) de m'avoir remis dans la tête l'air "Les musiciens de Brême, hihan, han han" tiré d'un livre-disques basé sur le conte et que mes petits frères écoutaient en boucle. (je sais ça pourrait être pire).
Je n’ai aucun avis sur systemd
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: Reproductibilité, vérifiabilité et musiciens de Brême
Posté par Ysabeau 🧶 (site web personnel, Mastodon) . En réponse à la dépêche Programmer des démonstrations : une modeste invitation aux assistants de preuve. Évalué à 3.
Merci (?) de m'avoir remis dans la tête l'air "Les musiciens de Brême, hihan, han han" tiré d'un livre-disques basé sur le conte et que mes petits frères écoutaient en boucle. (je sais ça pourrait être pire).
Je n’ai aucun avis sur systemd