Popular repositories Loading

1. shiz shiz Public

2. Inertslopes Inertslopes Public

   Code for computing slopes for p=2 in Q(sqrt(5)) and level U_0(2^n)

   MATLAB

3. ModularForms ModularForms Public

   Forked from CBirkbeck/ModularForms

   This repository consists of LEAN code which defines modular forms and looks to prove that Eisenstein series satisfy these definitions. The code within will eventually form part of the mathlib.

   Lean