Philip Zucker est un utilisateur de Stack Exchange, si vous cliquez sur le lien, vous verrez son profil.
Dernières questions
-
Je n'ai encore rien demandé.
Dernières réponses
- 0 votes
Comment implémenter une structure de données union-find (ensemble disjoint) dans Coq ?
el 30 de Mars, 2021 0 votes
Tags préférés
- 1 x coq
- 1 x data-structures
- 1 x union-find
- 1 x disjoint-sets