Pinned Loading

1. groups groups Public

   JavaScript 2

2. AESBrandt AESBrandt Public

   Lean 1

3. UCLMATH0109 UCLMATH0109 Public

   The Lean code repository for the UCL undergraduate module "Theorem Proving in Lean" MATH0109

   Lean 1 4

4. Sophie Sophie Public

   A tool for exploring mathematical conjectures using Claude. (See link for some examples.) Still very much a work in progress.

   Python 1

5. tuvastimestables tuvastimestables Public

   JavaScript

6. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean