Logiciel Année : 2024

Kruskal-Finite

Résumé

This is a collection of tools to abstractly manipulate the notion of finiteness in Coq.

122 Consultations
0 Téléchargements

Partager

  • More