Popular repositories Loading

1. xkcd2601 xkcd2601 Public

   Forked from theinternetftw/xkcd2601

   Transcription of xkcd 2601 to runnable logo code

2. game_project game_project Public

   Haskell

3. A_O_C_22 A_O_C_22 Public

   my solutions to advent of code 2022

   Haskell

4. Mathieu_12_simple Mathieu_12_simple Public

   Lean

5. carleson carleson Public

   Forked from fpvandoorn/carleson

   A formalized proof of Carleson's theorem in Lean

   Lean

6. FLT FLT Public

   Forked from ImperialCollegeLondon/FLT

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

   Lean