Starting to fix the flexible gathering algorithm
Showing
- current-formalism/Gathering/InR/Algorithm.v 1 addition, 2 deletionscurrent-formalism/Gathering/InR/Algorithm.v
- current-formalism/Gathering/InR/Impossibility.v 1 addition, 2 deletionscurrent-formalism/Gathering/InR/Impossibility.v
- current-formalism/Gathering/InR2/Algorithm.v 1 addition, 2 deletionscurrent-formalism/Gathering/InR2/Algorithm.v
- current-formalism/Gathering/InR2/FSyncFlexNoMultAlgorithm.v 256 additions, 370 deletionscurrent-formalism/Gathering/InR2/FSyncFlexNoMultAlgorithm.v
- current-formalism/Gathering/WithMultiplicity.v 96 additions, 0 deletionscurrent-formalism/Gathering/WithMultiplicity.v
- current-formalism/Models/Flexible.v 12 additions, 3 deletionscurrent-formalism/Models/Flexible.v
- current-formalism/Spaces/R2.v 10 additions, 0 deletionscurrent-formalism/Spaces/R2.v
- current-formalism/Spaces/RealMetricSpace.v 11 additions, 0 deletionscurrent-formalism/Spaces/RealMetricSpace.v
- current-formalism/Util/Preliminary.v 3 additions, 0 deletionscurrent-formalism/Util/Preliminary.v
- current-formalism/_CoqProject 1 addition, 1 deletioncurrent-formalism/_CoqProject
Loading
Please register or sign in to comment