Popular repositories Loading

1. xsf xsf Public

   Forked from scipy/xsf

   Special function implementations

   C++

2. sympy sympy Public

   Forked from sympy/sympy

   A computer algebra system written in pure Python

   Python

3. p_group_cohomology p_group_cohomology Public

   Forked from sagemath/p_group_cohomology

   Sage package for computing modular cohomology rings of finite groups

   Cython

4. sage sage Public

   Forked from sagemath/sage

   Main repository of SageMath

   Python

5. erdos-1152 erdos-1152 Public

   Erdős Problem 1152: almost everywhere divergence with o(n) excess degree, with a partial Lean formalization

   Lean

6. erdos-1132 erdos-1132 Public

   Erdős Problem 1132: sharp lower bounds and no uniform additive constant, with a complete Lean formalization

   Lean