Popular repositories Loading

1. dotfiles dotfiles Public

   Vim Script

2. bilichboris.github.io bilichboris.github.io Public

   Personal website

   HTML

3. formal-conjectures formal-conjectures Public

   Forked from google-deepmind/formal-conjectures

   A collection of formalized statements of conjectures in Lean.

   Lean

4. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean

5. sympy sympy Public

   Forked from sympy/sympy

   A computer algebra system written in pure Python

   Python

6. pandas pandas Public

   Forked from pandas-dev/pandas

   Flexible and powerful data analysis / manipulation library for Python, providing labeled data structures similar to R data.frame objects, statistical functions, and much more

   Python