Machine-checked computer-aided mathematics

Hdr Année : 2021

(1)

1 (France) 495900

Inria Rennes – Bretagne Atlantique (Campus de beaulieu 35042 Rennes cedex - France) 419153
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) 300009
LS2N - Laboratoire des Sciences du Numérique de Nantes (Université de Nantes – faculté des Sciences et Techniques (FST) 2 Chemin de la Houssinière BP 92208, 44322 Nantes Cedex 3 - France) 473973
- UN UFR ST - Université de Nantes - UFR des Sciences et des Techniques (2, rue de la Houssinière - BP 92208 - 44322 Nantes cedex 3 - France) 97058
  - UN - Université de Nantes (1, quai de Tourville - BP 13522 - 44035 Nantes cedex 1 - France) 93263
- ECN - École Centrale de Nantes (1 rue de la Noë - BP 92101 - 44321 Nantes cedex 3 - France) 111023
- CNRS - Centre National de la Recherche Scientifique : UMR6004 (France) 441569
- IMT Atlantique - IMT Atlantique (Campus Brest : Technopôle Brest-Iroise CS 8381829238 BREST Cedex 3 - Campus Nantes : 4, rue Alfred Kastler- La chantrerie 44300 NANTES - Campus Rennes : 2 Rue de la Châtaigneraie, 35510 CESSON SEVIGNE - France) 481355
  - IMT - Institut Mines-Télécom [Paris] (37-39 Rue Dareau, 75014 Paris - France) 302102

"> LS2N - équipe GALLINETTE - Gallinette : vers une nouvelle génération d'assistant à la preuve

Assia Mahboubi

Fonction : Auteur

Gallinette : vers une nouvelle génération d'assistant à la preuve

Mots clés

computer algebra Type theory formal proofs

Théorie des types preuves formelles calcul formel

Domaines

Logique en informatique [cs.LO]

Fichier principal

memoir_with_cover.pdf (1.16 Mo)

Origine	Fichiers produits par l'(les) auteur(s)

Assia Mahboubi : Connectez-vous pour contacter le contributeur

https://theses.hal.science/tel-03107626

Soumis le : mercredi 13 janvier 2021-21:31:55

Dernière modification le : mardi 27 août 2024-12:52:36

Dates et versions

tel-03107626 , version 1 (12-01-2021)

tel-03107626 , version 2 (13-01-2021)

Identifiants

HAL Id : tel-03107626 , version 2

Citer

Assia Mahboubi. Machine-checked computer-aided mathematics. Logic in Computer Science [cs.LO]. Université de Nantes (UN), Nantes, FRA., 2021. ⟨tel-03107626v2⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-NANTES CNRS INRIA EC-NANTES UNAM INRIA2 LS2N LS2N-GALLINETTE NANTES-UNIVERSITE

631 Consultations

1143 Téléchargements