Retourner au contenu associé (dépêche : Programmer des démonstrations : une modeste invitation aux assistants de preuve)
Posté par jeryagor le 24 février 2025 à 14:57. En réponse à la dépêche Programmer des démonstrations : une modeste invitation aux assistants de preuve. Évalué à 2.
Merci pour cet article. C'est un sujet que je connais peu, bien qu'ayant fait des études en mathématiques (appliquées). Bon courage pour la thèse ! :)
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
# Merci
Posté par jeryagor . En réponse à la dépêche Programmer des démonstrations : une modeste invitation aux assistants de preuve. Évalué à 2.
Merci pour cet article.
C'est un sujet que je connais peu, bien qu'ayant fait des études en mathématiques (appliquées).
Bon courage pour la thèse ! :)