Numerical verification of conjecture of Darmon on ATR points.
Primary LanguagePython
No issues in this repository yet.