Machine-checked mathematics
Résumé
In this article she gives an overview about machine-checked mathematics.
Domaines
Logique en informatique [cs.LO]
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...