Logipedia : vers un Wikipedia des démonstrations formelles - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year :

Logipedia : vers un Wikipedia des démonstrations formelles

Abstract

Les démonstrations formelles, c’est-à-dire informatisées, sont devenues un outil centralen informatique et en mathématiques. Cependant, chaque système – Coq, HOL Light, Isabelle/HOL, PVS... – implémente son langage et sa théorie, limitant les possibilités d’interopérabilité entre systèmes et la durabilité de ces démonstrations. Logipedia est une encyclopédie, en construction, de démonstrations formelles exprimées dans diverses théories. Nous présenterons cette encyclopédie et discuterons de la question scientifique qui se cache derrière ce développement : qu’est-ce qu’une théorie ? [Vidéo en ligne]
Not file

Dates and versions

hal-03584021 , version 1 (22-02-2022)

Identifiers

  • HAL Id : hal-03584021 , version 1

Cite

Gilles Dowek. Logipedia : vers un Wikipedia des démonstrations formelles. Séminaire du LIRIMA, Jun 2019, Rennes, France. ⟨hal-03584021⟩
79 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More