Logiciel Année : 2024

Kruskal-Finite

Dominique Larchey-Wendling

Résumé

This is a collection of tools to abstractly manipulate the notion of finiteness in Coq.
35 Consultations
0 Téléchargements

Partager

More