Kruskal-Finite
Résumé
This is a collection of tools to abstractly manipulate the notion of finiteness in Coq.
This is a collection of tools to abstractly manipulate the notion of finiteness in Coq.
Connectez-vous pour contacter le contributeur
https://hal.science/hal-04796676
Soumis le : jeudi 21 novembre 2024-17:51:39
Dernière modification le : mardi 4 novembre 2025-12:00:55