Proof of Viglietta's 2-robot gathering with one bit
Showing
- CaseStudies/Gathering/Definitions.v 10 additions, 19 deletionsCaseStudies/Gathering/Definitions.v
- CaseStudies/Gathering/Impossibility.v 11 additions, 12 deletionsCaseStudies/Gathering/Impossibility.v
- CaseStudies/Gathering/InR/Algorithm.v 4 additions, 6 deletionsCaseStudies/Gathering/InR/Algorithm.v
- CaseStudies/Gathering/InR/Impossibility.v 4 additions, 4 deletionsCaseStudies/Gathering/InR/Impossibility.v
- CaseStudies/Gathering/InR2/Algorithm.v 7 additions, 10 deletionsCaseStudies/Gathering/InR2/Algorithm.v
- CaseStudies/Gathering/InR2/FSyncFlexNoMultAlgorithm.v 10 additions, 5 deletionsCaseStudies/Gathering/InR2/FSyncFlexNoMultAlgorithm.v
- CaseStudies/Gathering/InR2/Peleg.v 6 additions, 6 deletionsCaseStudies/Gathering/InR2/Peleg.v
- CaseStudies/Gathering/InR2/Viglietta.v 480 additions, 0 deletionsCaseStudies/Gathering/InR2/Viglietta.v
- CaseStudies/Gathering/WithMultiplicity.v 9 additions, 4 deletionsCaseStudies/Gathering/WithMultiplicity.v
- Core/Formalism.v 8 additions, 3 deletionsCore/Formalism.v
- Models/Similarity.v 1 addition, 1 deletionModels/Similarity.v
- Spaces/R2.v 1 addition, 1 deletionSpaces/R2.v
- Spaces/RealVectorSpace.v 3 additions, 0 deletionsSpaces/RealVectorSpace.v
- Spaces/Similarity.v 32 additions, 33 deletionsSpaces/Similarity.v
- _CoqProject 1 addition, 0 deletions_CoqProject
Loading
Please register or sign in to comment