Retourner au contenu associé (sondage : Ce que je préfère en informatique / programmation / codage c'est...)
Posté par Axioplase ıɥs∀ (site web personnel) le 29 juin 2016 à 18:27. En réponse au sondage Ce que je préfère en informatique / programmation / codage c'est.... Évalué à 1.
Disons que Coq est superfétatoire, dans la mesure ou il y a plein d'autres outils et approches pour faire des preuves.
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: [X] Commenter les sondages
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au sondage Ce que je préfère en informatique / programmation / codage c'est.... Évalué à 1.
Disons que Coq est superfétatoire, dans la mesure ou il y a plein d'autres outils et approches pour faire des preuves.