Pinned Loading

1. compfiles compfiles Public

   Forked from dwrensha/compfiles

   Catalog Of Math Problems Formalized In Lean

   Lean

2. formal-conjectures formal-conjectures Public

   Forked from google-deepmind/formal-conjectures

   A collection of formalized statements of conjectures in Lean.

   Lean

3. Math-Visualizations Math-Visualizations Public

   manim animations for my instagram account!

   Python

4. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean

5. talos talos Public

   Forked from cajal-technologies/talos

   Wasm interpreter in lean, designed for reasoning

   Lean

6. usamo-guide usamo-guide Public

   Forked from usamoguide/usamo-guide

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

   TypeScript