Popular repositories Loading

1. Python-for-Math-and-Statistics-Workshop Python-for-Math-and-Statistics-Workshop Public

   Jupyter Notebook 1 1

2. dotfiles dotfiles Public

   Shell

3. desktop_dotfiles desktop_dotfiles Public

   My configuration files for my desktop

   Python

4. Latex-Workflow Latex-Workflow Public

   TeX

5. FLT FLT Public

   Forked from ImperialCollegeLondon/FLT

   Ongoing Lean formalisation of the proof of Fermat's Last Theorem

   Lean

6. brownian-motion brownian-motion Public

   Forked from RemyDegenne/brownian-motion

   Construction of a Brownian Motion in Lean

   Lean