typo

Author: thery

README.md

@@ -82,6 +82,7 @@ Some extra material for mathcomp
   [Liouville Theorem about number's divisors](./liouville.v)
 
   [Square numbers ending with xyxyxyxyxy](./repeatxy.v)
+  
   [Binomial equation about taking 2 segments from n points](./binception.v)
 
 A note about sorting network is available [here](https://hal.inria.fr/hal-03585618).

coq-mathcomp-extra.opam

@@ -82,6 +82,7 @@ Some extra material for mathcomp
   [Liouville Theorem about number's divisors](./liouville.v)
 
   [Square numbers ending with xyxyxyxyxy](./repeatxy.v)
+  
   [Binomial equation about taking 2 segments from n points](./binception.v)
 
 A note about sorting network is available [here](https://hal.inria.fr/hal-03585618).

meta.yml

@@ -79,6 +79,7 @@ description: |-
     [Liouville Theorem about number's divisors](./liouville.v)
 
     [Square numbers ending with xyxyxyxyxy](./repeatxy.v)
+    
     [Binomial equation about taking 2 segments from n points](./binception.v)
 
   A note about sorting network is available [here](https://hal.inria.fr/hal-03585618).