Core/RobotInfo.v

Exploration/Definitions.v

Exploration/ImpossibilityKDividesN.v

Gathering/Definitions.v

Gathering/Impossibility.v

Gathering/InR/Algorithm.v

Gathering/InR/Impossibility.v

Gathering/InR2/Algorithm.v

Gathering/InR2/FSyncFlexNoMultAlgorithm.v

Gathering/InR2/Peleg.v

Models/ContinuousGraph.v

Models/Flexible.v

Models/GraphEquivalence.v

Models/RigidFlexibleEquivalence.v

Spaces/EuclideanSpace.v

Spaces/R2.v

Spaces/RealVectorSpace.v

Spaces/Ring.v

Spaces/Similarity.v

Spectra/Definition.v