Retourner au contenu associé (journal : La recherche en langages de programmation au quotidien)
Posté par Jean-Baptiste Faure le 10 février 2018 à 18:11. En réponse au journal La recherche en langages de programmation au quotidien. Évalué à 2.
J'ai écrit que Villani et Mouhot avaient utilisé Coq pour vérifier leurs démonstrations : celles de Villani et Mouhot. Ils ne travaillent pas sur Coq mais avec Coq.
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: Math
Posté par Jean-Baptiste Faure . En réponse au journal La recherche en langages de programmation au quotidien. Évalué à 2.
J'ai écrit que Villani et Mouhot avaient utilisé Coq pour vérifier leurs démonstrations : celles de Villani et Mouhot. Ils ne travaillent pas sur Coq mais avec Coq.