Fix insecure links

2020-12-17 08:33:49 +02:00
parent b61f9da54e
commit 07aa4c70ff
74 changed files with 358 additions and 358 deletions
--- a/sage/group_prover.sage
+++ b/sage/group_prover.sage
@@ -42,7 +42,7 @@
 #     as we assume that all constraints in it are complementary with each other.
 #
 # Based on the sage verification scripts used in the Explicit-Formulas Database
-# by Tanja Lange and others, see http://hyperelliptic.org/EFD
+# by Tanja Lange and others, see https://hyperelliptic.org/EFD

 class fastfrac:
  """Fractions over rings."""