Popular repositories Loading

1. real_closed_field real_closed_field Public

   Formalisation of the theory of real closed fields in Lean 4.

   Lean 15 2

2. nanoGPT nanoGPT Public

   Forked from karpathy/nanoGPT

   The simplest, fastest repository for training/finetuning medium-sized GPTs.

   Python 1

3. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean 1

4. mtg-rarity mtg-rarity Public

   ML for rarity of MTG cards

   Python

5. temp-mute-bot temp-mute-bot Public

   Python 1

6. colour-bot colour-bot Public

   Python