Kruskal-Finite
Résumé
This is a collection of tools to abstractly manipulate the notion of finiteness in Coq.
Dominique Larchey-Wendling : Connectez-vous pour contacter le contributeur
https://hal.science/hal-04796676
Soumis le : jeudi 21 novembre 2024-17:51:39
Dernière modification le : jeudi 2 janvier 2025-09:46:31