A Term-Patching Framework for Eliminating Definitional Equalities in Lean (Work-in-Progress)
Domaines
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |
Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-04813916
Soumis le : lundi 2 décembre 2024-11:19:53
Dernière modification le : lundi 27 octobre 2025-11:04:02