Popular repositories Loading

1. ModularForms ModularForms Public

   This repository consists of Lean 3 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.

   Python 4 2

2. ModularForms_Lean4 ModularForms_Lean4 Public

   Lean 4 2

3. lean_game lean_game Public

   Dungeons and De Morgan's: The Logic Game

   Lean 1

4. FltRegulartest FltRegulartest Public

   Lean 1 1

5. GLn_F_q GLn_F_q Public

   Lean 1

6. power_residue_symbols power_residue_symbols Public

   Lean 1