Popular repositories Loading

1. topologygame topologygame Public template

   Learn Lean and topology

   Lean 21 2

2. darmonpoints darmonpoints Public

   Sage package to compute Darmon points

   Python 4 5

3. sage_package_template sage_package_template Public

   A cookiecutter for SageMath projects

   Python 4 3

4. barcelonaleanseminar barcelonaleanseminar Public

   Exercises done during the weekly Lean seminar

   Lean 4 1

5. brouwerfixedpoint brouwerfixedpoint Public template

   Proving Brouwer's Fixed Point Theorem in Lean

   Lean 4 1

6. btquotients btquotients Public

   Computing with quotients of the Bruhat-Tits tree

   Python 2 1