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…

Les étiquettes connexes

  • 1 mathématiques
  • 1 formalisation
  • 1 démonstration
  • 1 preuves
  • 1 terence_tao

Tous les contenus étiquetés avec « leanprover »

Flux Atom étiquette « leanprover »
Trier par :
  • date
  • note
  • intérêt
  • dernier commentaire

Lien Déboguer … les maths.

Posté par thoasm le 25 octobre 2023 à 16:59.
Étiquettes :
  • mathématiques
  • leanprover
  • formalisation
  • démonstration
  • preuves
  • terence_tao
4
25
oct.
2023
  • https://mathstodon.xyz/@tao/111287749336059662
Discuter (16 commentaires).

Revenir en haut de page

Derniers commentaires

  • Fusionné et déployé
  • Re: Langage pro
  • Re: Langage pro
  • Re: Y'a le bon et le mauvais écran
  • Re: Langage pro
  • Re: Précédemment
  • Re: Langage pro
  • Re: Langage pro
  • Re: Pas très clair…
  • Re: Oublis
  • Re: Assez grand pour accueillir Linux
  • Re: Langage pro

Étiquettes (tags) populaires

  • intelligence_artificielle
  • france_culture
  • grands_modèles_de_langage
  • merdification
  • administration_française
  • états-unis
  • donald_trump
  • logiciel_de_caisse
  • bronsonisation
  • capitalisme
  • capitalisme_de_surveillance
  • souveraineté_numerique

Sites amis

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

À 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