Popular repositories Loading

1. topologygame topologygame Public template

   Learn Lean and topology

   Lean 20 2

2. sage_package_template sage_package_template Public

   A cookiecutter for SageMath projects

   Python 4 3

3. barcelonaleanseminar barcelonaleanseminar Public

   Exercises done during the weekly Lean seminar

   Lean 4 1

4. brouwerfixedpoint brouwerfixedpoint Public template

   Proving Brouwer's Fixed Point Theorem in Lean

   Lean 4 1

5. darmonpoints darmonpoints Public

   Sage package to compute Darmon points

   Python 3 5

6. modularforms_archive modularforms_archive Public archive

   Notes on a first course on modular forms

   TeX 2 1