• # Preuves ?

    Posté par (site web personnel, Mastodon) . En réponse au journal Pijul, un nouveau gestionnaire de source. Évalué à 4.

    ...qui fournit les théorèmes, des preuves et la complexité algorithmique du programme

    Alors :

    • théorèmes, ok (cf. commentaire de Kantien, c'est basé sur la théorie des graphes.
    • Complexité algorithmique du programme : ok
    • Preuves : Pas ok

    De quoi parle-t-on au juste ici pour les preuves ? Démonstration mathématique basée sur les théorèmes précédant ou preuves de bon fonctionnement du programme ?
    Il ne semble pas qu'il y ait, en Rust, moyen de prouver le bon fonctionnement du programme.
    Si ?