Retourner au contenu associé (dépêche : Programmer des démonstrations : une modeste invitation aux assistants de preuve)
Posté par Glandos le 25 février 2025 à 16:27. En réponse à la dépêche Programmer des démonstrations : une modeste invitation aux assistants de preuve. Évalué à 2.
« ... seront toujours nos compagnons ! »
Oui, j'ai beaucoup écouté ça aussi.
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: Reproductibilité, vérifiabilité et musiciens de Brême
Posté par Glandos . En réponse à la dépêche Programmer des démonstrations : une modeste invitation aux assistants de preuve. Évalué à 2.
« ... seront toujours nos compagnons ! »
Oui, j'ai beaucoup écouté ça aussi.