Aller au contenu Aller au menu
  • Dépêches
  • Journaux
  • Liens
  • Forums
  • Rédaction
  • 🎙️ Projets Libres

LinuxFr.org

Se connecter

Proposer un contenu

  • Pas de compte ? S’inscrire...

Re: prouveur automatique/assistant de preuve

Retourner au contenu associé (journal : La preuve de programme : où en est-on ?)

  • [^] # Re: prouveur automatique/assistant de preuve

    Posté par Yusei (Mastodon) le 05 mars 2009 à 09:18. En réponse au journal La preuve de programme : où en est-on ?. Évalué à 2.

    Pour la nouvelle illustrée par Manara, ça doit être au minimum inspiré de la nouvelle de Borges, "la bibliothèque de Babel", qui parle d'une bibliothèque contant tous les livres d'une certaine taille.

Revenir en haut de page

Derniers commentaires

  • Re: Non informaticiens
  • Re: alien
  • alien
  • Re: J'attends toujours le rapport de bogue reproductible 🤖
  • Re: Non informaticiens
  • Re: temporalité
  • Qt6
  • ça commence bien la souveraineté
  • Re: Legit
  • Et pour ARM ?
  • [Error]
  • Re: Legit

Étiquettes (tags) populaires

  • intelligence_artificielle
  • grands_modèles_de_langage
  • merdification
  • hugging_face
  • réchauffement_climatique
  • administration_française
  • canicule
  • capitalisme
  • linux
  • startup_nation
  • états-unis
  • cybersécurité

Sites amis

  • Agenda du Libre
  • April
  • Éditions D-BookeR
  • Éditions Diamond
  • Éditions Eyrolles
  • Éditions ENI
  • En Vente Libre
  • Framasoft
  • La Quadrature du Net
  • Lea-Linux
  • Open Source Initiative
  • Imprimerie Grafik Plus

À propos de LinuxFr.org

  • Mentions légales
  • Faire un don
  • L’équipe de LinuxFr.org
  • Informations sur le site
  • Aide / Foire aux questions
  • Suivi des suggestions et bogues
  • Wiki du site
  • Règles de modération
  • Statistiques
  • API pour le développement
  • Code source du site
  • Plan du site

AltStyle によって変換されたページ (->オリジナル) /