Small inversions for smaller inversions
Résumé
We describe recent improvements on small inversions, a technique presented earlier as a possible alternative to Coq standard inversion.
Domaines
Informatique [cs]Origine | Fichiers produits par l'(les) auteur(s) |
---|