Pré-Publication, Document De Travail Année : 2024

A Term-Patching Framework for Eliminating Definitional Equalities in Lean (Work-in-Progress)

Fichier principal
Vignette du fichier
wip_1_vaishnav.pdf (149.03 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-04813916 , version 1 (02-12-2024)

Licence

Identifiants

  • HAL Id : hal-04813916 , version 1

Citer

Rishikesh Vaishnav. A Term-Patching Framework for Eliminating Definitional Equalities in Lean (Work-in-Progress). 2024. ⟨hal-04813916⟩
705 Consultations
405 Téléchargements

Partager

  • More