Retourner au contenu associé (dépêche : Le Frido 2025)
Posté par Nucleos le 07 octobre 2025 à 16:23. En réponse à la dépêche Le Frido 2025. Évalué à 4.
Et si une partie du Frido était formalisée dans Rocq (anciennement Coq) ? Cela pourrait documenter un style de formalisation adapté au niveau agrég. Je trouve aussi très réconfortant qu'on puisse demander à un ordi de vérifier une preuve.
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
# Coq ?
Posté par Nucleos . En réponse à la dépêche Le Frido 2025. Évalué à 4.
Et si une partie du Frido était formalisée dans Rocq (anciennement Coq) ? Cela pourrait documenter un style de formalisation adapté au niveau agrég. Je trouve aussi très réconfortant qu'on puisse demander à un ordi de vérifier une preuve.