Popular repositories Loading

1. metric-spaces-and-topology-game metric-spaces-and-topology-game Public

   Lean 2 1

2. AdventOfCode AdventOfCode Public

   My solutions to problems of Advent of Code throughout the years.

   Python

3. fpm-notes fpm-notes Public

   Forked from leon0241/leon-latex-notes

   TeX

4. funky_billliards funky_billliards Public

   Rust

5. LeanIntroToNumberTheory LeanIntroToNumberTheory Public

   Lean

6. mathematics_in_lean mathematics_in_lean Public

   Forked from leanprover-community/mathematics_in_lean

   The user home repository for the Mathematics in Lean tutorial.

   HTML