/atrpoints

Numerical verification of conjecture of Darmon on ATR points.

Primary LanguagePython

Watchers