erdos-1132 Public

Erdős Problem 1132: sharp lower bounds for Lebesgue functions, and no uniform additive constant

erdos-1117 Public

Erdős Problem 1117: the second question answered in the negative, with a partial Lean 4 formalization

erdos-917 Public

Erdős Problem 917: twelve-critical graphs with (2/5+o(1))n^2 edges, with a complete Lean 4 formalization

erdos-1075 Public

Erdős Problem 1075: counterexamples for every r >= 5, with a complete Lean 4 formalization

erdos-1152 Public

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

FireflySentinelBot Public

自动维护 prts.wiki 资源

sympy Public

A computer algebra system written in pure Python

xsf Public

Special function implementations

sage Public

Main repository of SageMath

p_group_cohomology Public

Sage package for computing modular cohomology rings of finite groups

prts-widgets Public

PRTS Widgets 构建仓库

MaaAssistantArknights Public

《明日方舟》小助手,全日常一键长草!| A one-click tool for the daily tasks of Arknights, supporting all clients.

MaaMacGui Public