OAI/NumberTheory/GaussianMoat/Model.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.GaussianMoat.PrimeVertex line 7

   Also declared: ComparatorChallenges/GaussianMoat.lean:7 (same declaration text).

2. def OAI.GaussianMoat.primeGraph line 9

   Also declared: ComparatorChallenges/GaussianMoat.lean:9 (same declaration text).

3. def OAI.GaussianMoat.component line 20

   Also declared: ComparatorChallenges/GaussianMoat.lean:20 (same declaration text).

4. def OAI.GaussianMoat.MainEndpoint line 23

   Also declared: ComparatorChallenges/GaussianMoat.lean:23 (same declaration text).

5. def OAI.GaussianMoat.UniformEndpoint line 28

   Also declared: ComparatorChallenges/GaussianMoat.lean:28 (same declaration text).