Small inversions for smaller inversions - IMAG Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

Small inversions for smaller inversions

J-F Monin
  • Fonction : Auteur
Jean-François Monin
  • Fonction : Auteur
Jean-François Monin
  • Fonction : Auteur
  • PersonId : 1090521

Résumé

We describe recent improvements on small inversions, a technique presented earlier as a possible alternative to Coq standard inversion.

Mots clés

Fichier principal
Vignette du fichier
types22-smallinv.pdf (70.52 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04621396 , version 1 (24-06-2024)

Identifiants

  • HAL Id : hal-04621396 , version 1

Citer

J-F Monin, Jean-François Monin, Jean-François Monin. Small inversions for smaller inversions. 28th International Conference on Types for Proofs and Programs, TYPES 2022 Abstracts, Jun 2022, Nantes (France), France. ⟨hal-04621396⟩
0 Consultations
0 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More