Loading paper
The Chabauty-Coleman bound at a prime of bad reduction | Tomesphere