Revert "travail exposé robin"
This reverts commit 1d351274b92c5c734e7a3afa528d8a724cb04aa6.
Showing
- current-formalism/CommonFormalism.v 139 additions, 33 deletionscurrent-formalism/CommonFormalism.v
- current-formalism/Configurations.v 442 additions, 188 deletionscurrent-formalism/Configurations.v
- current-formalism/Convergence/Impossibility_2G_1B.v 233 additions, 241 deletionscurrent-formalism/Convergence/Impossibility_2G_1B.v
- current-formalism/Exploration/Graph/Definitions.v 16 additions, 10 deletionscurrent-formalism/Exploration/Graph/Definitions.v
- current-formalism/Exploration/Graph/ImpossibilityKDividesN.v 10 additions, 10 deletionscurrent-formalism/Exploration/Graph/ImpossibilityKDividesN.v
- current-formalism/Exploration/Graph/ImpossibilityKDividesNSSync.v 3 additions, 1 deletion...formalism/Exploration/Graph/ImpossibilityKDividesNSSync.v
- current-formalism/Exploration/Graph/Towers.v 184 additions, 4 deletionscurrent-formalism/Exploration/Graph/Towers.v
- current-formalism/Gathering/Definitions.v 85 additions, 81 deletionscurrent-formalism/Gathering/Definitions.v
- current-formalism/Gathering/Impossibility.v 386 additions, 382 deletionscurrent-formalism/Gathering/Impossibility.v
- current-formalism/Gathering/InR/Algorithm.v 710 additions, 711 deletionscurrent-formalism/Gathering/InR/Algorithm.v
- current-formalism/Gathering/InR/Impossibility.v 378 additions, 309 deletionscurrent-formalism/Gathering/InR/Impossibility.v
- current-formalism/Gathering/InR2/Algorithm.v 1705 additions, 1575 deletionscurrent-formalism/Gathering/InR2/Algorithm.v
- current-formalism/Models/ASync.v 0 additions, 640 deletionscurrent-formalism/Models/ASync.v
- current-formalism/Models/ContinuousGraph.v 0 additions, 1707 deletionscurrent-formalism/Models/ContinuousGraph.v
- current-formalism/Models/DiscreteASync.v 0 additions, 709 deletionscurrent-formalism/Models/DiscreteASync.v
- current-formalism/Models/DiscreteGraph.v 0 additions, 369 deletionscurrent-formalism/Models/DiscreteGraph.v
- current-formalism/Models/DiscreteGraphSSync.v 0 additions, 471 deletionscurrent-formalism/Models/DiscreteGraphSSync.v
- current-formalism/Models/DiscreteRigid.v 0 additions, 408 deletionscurrent-formalism/Models/DiscreteRigid.v
- current-formalism/Models/Flexible.v 0 additions, 428 deletionscurrent-formalism/Models/Flexible.v
- current-formalism/Models/GraphEquivalence.v 0 additions, 2256 deletionscurrent-formalism/Models/GraphEquivalence.v
Loading
Please register or sign in to comment