Popular repositories Loading

1. usamo-guide usamo-guide Public

   Forked from usamoguide/usamo-guide

   The All-in-one Guide for Getting USAMO/JMO Qual :)

   TypeScript

2. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean

3. Math-Visualizations Math-Visualizations Public

   manim animations for my instagram account!

   Python

4. compfiles compfiles Public

   Forked from dwrensha/compfiles

   Catalog Of Math Problems Formalized In Lean

   Lean

5. trivalleytutoring.github.io trivalleytutoring.github.io Public

   [WIP] Website for Tri-Valley Tutoring

6. talos talos Public

   Forked from cajal-technologies/talos

   Wasm interpreter in lean, designed for reasoning

   Lean