Introducing trajectories
Showing
- current-formalism/Convergence/Impossibility_2G_1B.v 13 additions, 6 deletionscurrent-formalism/Convergence/Impossibility_2G_1B.v
- current-formalism/Core/Formalism.v 13 additions, 12 deletionscurrent-formalism/Core/Formalism.v
- current-formalism/Core/RobotInfo.v 33 additions, 0 deletionscurrent-formalism/Core/RobotInfo.v
- current-formalism/Gathering/Definitions.v 0 additions, 92 deletionscurrent-formalism/Gathering/Definitions.v
- current-formalism/Gathering/InR/Algorithm.v 23 additions, 14 deletionscurrent-formalism/Gathering/InR/Algorithm.v
- current-formalism/Gathering/InR/Impossibility.v 11 additions, 5 deletionscurrent-formalism/Gathering/InR/Impossibility.v
- current-formalism/Gathering/InR2/Algorithm.v 30 additions, 15 deletionscurrent-formalism/Gathering/InR2/Algorithm.v
- current-formalism/Gathering/InR2/FSyncFlexNoMultAlgorithm.v 17 additions, 13 deletionscurrent-formalism/Gathering/InR2/FSyncFlexNoMultAlgorithm.v
- current-formalism/Models/Flexible.v 6 additions, 23 deletionscurrent-formalism/Models/Flexible.v
- current-formalism/Models/Rigid.v 2 additions, 2 deletionscurrent-formalism/Models/Rigid.v
- current-formalism/Setting.v 1 addition, 0 deletionscurrent-formalism/Setting.v
- current-formalism/Spaces/RealMetricSpace.v 16 additions, 0 deletionscurrent-formalism/Spaces/RealMetricSpace.v
- current-formalism/Spectra/MultisetSpectrum.v 2 additions, 1 deletioncurrent-formalism/Spectra/MultisetSpectrum.v
- current-formalism/Spectra/SetSpectrum.v 2 additions, 1 deletioncurrent-formalism/Spectra/SetSpectrum.v
- current-formalism/Util/Preliminary.v 1 addition, 1 deletioncurrent-formalism/Util/Preliminary.v
- current-formalism/Util/Ratio.v 63 additions, 0 deletionscurrent-formalism/Util/Ratio.v
- current-formalism/Util/Stream.v 6 additions, 0 deletionscurrent-formalism/Util/Stream.v
- current-formalism/_CoqProject 3 additions, 1 deletioncurrent-formalism/_CoqProject
Loading
Please register or sign in to comment