README: cosmetics.

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
This commit is contained in:
Daira Hopwood 2020-11-27 09:35:53 +00:00
parent 8f82a22d2c
commit 15a23b3b3b
1 changed files with 3 additions and 3 deletions

View File

@ -34,7 +34,7 @@ use `--sequential`.)
Prerequisites:
* apt-get install sagemath
* ``apt-get install sagemath``
Run ``sage verify.sage Ep`` and ``sage verify.sage Eq``; or ``./run.sh`` to run both
and also print out the results.
@ -49,7 +49,7 @@ showing the minimum distances between multiples of ζ used in the proof, run ``.
``animation.sh`` has the following prerequisites:
* apt-get install ffmpeg ffcvt
* pip3 install bintrees Pillow
* ``apt-get install ffmpeg ffcvt``
* ``pip3 install bintrees Pillow``
``checksumsets.py`` on its own only requires the ``bintrees`` Python package.