Study
Opening the study…
Study
Opening the study…
What the work was done with, as its author lists it, so someone else can get the same things and do it again.
Software
Python 3.12
https://www.python.org
Initial execution used Python 3.12.15; integer certificate arithmetic uses standard-library integers and fractions.
Software
python-flint 0.9.0
https://pypi.org/project/python-flint/0.9.0/
Pinned in env/requirements.txt; Arb precision is fixed at 192 bits in code/verify.py.