Logiciel Année : 2024

Kruskal-AlmostFull

Dominique Larchey-Wendling

Résumé

This library formalizes ground results about Almost Full relations (AF) in Coq 8.14+, up to Dickson's lemma.
18 Consultations
0 Téléchargements

Partager

More