Popular repositories Loading

1. riemann-hypothesis-lean4 riemann-hypothesis-lean4 Public

   Lean4 formal verification of the Riemann Hypothesis and Simple Zeros Conjecture proof

2. hilbert-polya-jacobi hilbert-polya-jacobi Public

   Explicit Hilbert–Polya Jacobi matrices for zeta, Dirichlet beta and modular L-functions — forward construction from moments, open data, interactive site

   HTML

3. bridge-health-proposal bridge-health-proposal Public

   基于大模型的桥梁结构健康分析技术建议书

   HTML

4. family-ai-token-plans family-ai-token-plans Public

   家庭AI计量站：电视盒子Token平台方案与智能家居执行层扩展方案

   HTML

5. danzheng danzheng Public

   蛋证 - 掼蛋俱乐部NFT数字化平台（H5版）

   HTML

6. token-payments token-payments Public

   Token支付全景研究：原理、前景与平安集团落地规划

   HTML