Popular repositories Loading

1. real_closed_field real_closed_field Public

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

   Lean 15 5

2. nanoGPT nanoGPT Public

   Forked from karpathy/nanoGPT

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

   Python 2

3. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean 1

4. intro-to-lean intro-to-lean Public

   Lean 1

5. mtg-rarity mtg-rarity Public

   ML for rarity of MTG cards

   Python

6. temp-mute-bot temp-mute-bot Public

   Python 1