Retourner au contenu associé (dépêche : Sortie de Coq 8.5 bêta, un assistant de preuve formelle)
Posté par alpha_one_x86 (site web personnel) le 28 janvier 2015 à 12:01. En réponse à la dépêche Sortie de Coq 8.5 bêta, un assistant de preuve formelle. Évalué à 4.
Idem, merci pour m'avoir fait découvrir coq.
Mon projet libre: https://ultracopier.herman-brule.com/, mon jeu libre: https://catchchallenger.herman-brule.com/
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: Merci
Posté par alpha_one_x86 (site web personnel) . En réponse à la dépêche Sortie de Coq 8.5 bêta, un assistant de preuve formelle. Évalué à 4.
Idem, merci pour m'avoir fait découvrir coq.
Mon projet libre: https://ultracopier.herman-brule.com/, mon jeu libre: https://catchchallenger.herman-brule.com/