Retourner au contenu associé (journal : Pijul, un nouveau gestionnaire de source)
Posté par Fulgrim le 20 septembre 2017 à 13:43. En réponse au journal Pijul, un nouveau gestionnaire de source. Évalué à 1.
Je pense qu'il ne parle que de la preuve des théorèmes et de l'algo, pas du programme.
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: Preuves ?
Posté par Fulgrim . En réponse au journal Pijul, un nouveau gestionnaire de source. Évalué à 1.
Je pense qu'il ne parle que de la preuve des théorèmes et de l'algo, pas du programme.