Retourner au contenu associé (dépêche : Sortie de Coq 8.5 bêta, un assistant de preuve formelle)
Posté par hsyl20 (site web personnel) le 28 janvier 2015 à 11:14. En réponse à la dépêche Sortie de Coq 8.5 bêta, un assistant de preuve formelle. Évalué à 6.
Merci beaucoup pour cette dépêche !
Les progrès dans ce domaine sont très intéressants et commencent à être intégrés dans des langages qui se veulent plus simples à utiliser comme Idris. Ça fait plaisir.
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
# Idris
Posté par hsyl20 (site web personnel) . En réponse à la dépêche Sortie de Coq 8.5 bêta, un assistant de preuve formelle. Évalué à 6.
Merci beaucoup pour cette dépêche !
Les progrès dans ce domaine sont très intéressants et commencent à être intégrés dans des langages qui se veulent plus simples à utiliser comme Idris. Ça fait plaisir.