Switch to Coq 8.10
Showing
- CaseStudies/Convergence/Algorithm_noB.v 5 additions, 12 deletionsCaseStudies/Convergence/Algorithm_noB.v
- CaseStudies/Convergence/Impossibility_2G_1B.v 16 additions, 13 deletionsCaseStudies/Convergence/Impossibility_2G_1B.v
- CaseStudies/Exploration/Definitions.v 2 additions, 2 deletionsCaseStudies/Exploration/Definitions.v
- CaseStudies/Exploration/ImpossibilityKDividesN.v 1 addition, 1 deletionCaseStudies/Exploration/ImpossibilityKDividesN.v
- CaseStudies/Gathering/InR/Algorithm.v 5 additions, 3 deletionsCaseStudies/Gathering/InR/Algorithm.v
- CaseStudies/Gathering/InR2/Viglietta.v 20 additions, 16 deletionsCaseStudies/Gathering/InR2/Viglietta.v
- Core/Formalism.v 63 additions, 44 deletionsCore/Formalism.v
- Core/State.v 27 additions, 23 deletionsCore/State.v
- Models/ContinuousGraph.v 25 additions, 22 deletionsModels/ContinuousGraph.v
- Models/Flexible.v 5 additions, 4 deletionsModels/Flexible.v
- Models/GraphEquivalence.v 12 additions, 10 deletionsModels/GraphEquivalence.v
- Observations/LimitedMultisetObservation.v 7 additions, 4 deletionsObservations/LimitedMultisetObservation.v
- Observations/LimitedSetObservation.v 6 additions, 4 deletionsObservations/LimitedSetObservation.v
- Observations/MultisetObservation.v 7 additions, 4 deletionsObservations/MultisetObservation.v
- Observations/PointedObservation.v 2 additions, 4 deletionsObservations/PointedObservation.v
- Observations/PreCompositionObservation.v 2 additions, 2 deletionsObservations/PreCompositionObservation.v
- Observations/SetObservation.v 4 additions, 2 deletionsObservations/SetObservation.v
- Spaces/EuclideanSpace.v 105 additions, 88 deletionsSpaces/EuclideanSpace.v
- Spaces/Grid.v 30 additions, 23 deletionsSpaces/Grid.v
- Spaces/Isomorphism.v 12 additions, 9 deletionsSpaces/Isomorphism.v
Loading
Please register or sign in to comment