Retourner au contenu associé (dépêche : Programmer des démonstrations : une modeste invitation aux assistants de preuve)
Posté par jeanas (site web personnel, Mastodon) le 26 février 2025 à 00:17. En réponse à la dépêche Programmer des démonstrations : une modeste invitation aux assistants de preuve. Évalué à 3.
Oui, voilà, ça m'a l'air d'être de la logique de Hoare, pas de la théorie des types.
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: Pour la complétude, j'ajoute le couple SPARK/Ada
Posté par jeanas (site web personnel, Mastodon) . En réponse à la dépêche Programmer des démonstrations : une modeste invitation aux assistants de preuve. Évalué à 3.
Oui, voilà, ça m'a l'air d'être de la logique de Hoare, pas de la théorie des types.