Retourner au contenu associé (journal : Pijul, un nouveau gestionnaire de source)
Posté par Benoît Laurent (site web personnel) le 20 septembre 2017 à 11:31. En réponse au journal Pijul, un nouveau gestionnaire de source. Évalué à 1.
J'ai lié dans le journal ce commentaire
Il y aura publication d'ici la fin d'année. Donc on verra bien.
Est-ce que l'algo seul peut être prouvé sans que le programme complet soit prouvé ? Je ne sais pas.
Côté Rust il y a quelqu'un qui travaille dessus : https://www.ralfj.de/blog/2017/07/08/rustbelt.html
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: Preuves ?
Posté par Benoît Laurent (site web personnel) . En réponse au journal Pijul, un nouveau gestionnaire de source. Évalué à 1.
J'ai lié dans le journal ce commentaire
Il y aura publication d'ici la fin d'année. Donc on verra bien.
Est-ce que l'algo seul peut être prouvé sans que le programme complet soit prouvé ? Je ne sais pas.
Côté Rust il y a quelqu'un qui travaille dessus :
https://www.ralfj.de/blog/2017/07/08/rustbelt.html