Popular repositories Loading

1. prob-book prob-book Public

   Formalization of the Grinstead and Snell's Introduction to Probability.

   TeX 1

2. sum-of-four-cubes sum-of-four-cubes Public

   Sum of four cubes problem

   Python

3. Linear-algebra-tools Linear-algebra-tools Public

   Python

4. Statistics Statistics Public

   This program solves statistics problems!

   Jupyter Notebook

5. crazytaxi crazytaxi Public

   C++

6. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean