Pinned Loading

1. ramanujan_nagell ramanujan_nagell Public

   HTML 4 1

2. ml_rnt ml_rnt Public

   Machine learning ranks and Sha for RNT5

   Jupyter Notebook 3

3. rank2sha rank2sha Public

   Computations and Lean formalisation for: Second derivatives of p-adic L-functions and the Shafarevich-Tate group of rank-two CM elliptic curves

   Lean

4. steelman_eval steelman_eval Public

   Python