Skip to content
View HZDF-2026's full-sized avatar

Block or report HZDF-2026

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. cdd-kakeya-lean4 cdd-kakeya-lean4 Public

    CDD Kakeya Conjecture Spectral Resolution: Lean 4 Conditional Equivalence Formalization (pure core, 0 sorry, 24-item verification)

    Lean 2

  2. huanzhidaofu huanzhidaofu Public

    CDD v28.0 综合谱理论 - 谱分解大统一理论 | Comprehensive Spectral Mixture Theory: a bottom-up GUT via PP/AC/SC spectral decomposition. Preprint: PDG 2026 three-band census (304 species), GW150914 strain = ac aft…

    HTML 1

  3. leanoff leanoff Public

    Offline verification and minimal builds for Lean 4 projects: no git, no network, no lake.

    C++ 1

  4. evalsig evalsig Public

    Error bars and honest decisions for LLM/agent evaluation: Wilson/McNemar/cluster-bootstrap statistics, power analysis, sequential stopping, Holm-corrected candidate elimination.

    C++ 1

  5. mdresume mdresume Public

    Markdown resume to typeset PDF via the browser you already have. No Node, no Puppeteer download, no LaTeX.

    C++ 1

  6. shpreflight shpreflight Public

    Pre-flight diagnostics for agent-generated shell commands: dialect compatibility, missing tools, destructive operations — checked before the command runs. Lean 4 verified.

    C 1