Skip to content
View primaryhosting's full-sized avatar
  • Primary Hosting

Highlights

  • Pro

Block or report primaryhosting

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. brockian-mathematics brockian-mathematics Public

    Machine-verified Brockian Mathematics: 11,126 Lean 4 theorems, each independently AXLE-kernel-verified and axiom-audited — pentagonal prime dynamics, dihedral symmetry, Fibonacci-anyon fusion for t…

    Lean

  2. VisionClaw VisionClaw Public

    Forked from Intent-Lab/VisionClaw

    Real-time AI assistant for Meta Ray-Ban smart glasses -- voice + vision + agentic actions via Gemini Live and OpenClaw

  3. zeta-23-lean zeta-23-lean Public

    Forked from anthropics/formal-math

    Lean

  4. zeta-two-thirds-verification zeta-two-thirds-verification Public

    Independent third-party dual-kernel verification of Claude/Anthropic's ζ two-thirds (67.2%) formalization. A proportion result, not RH.

    Lean

  5. LargeSieveLib LargeSieveLib Public

    Mathlib-only formalization of the additive and multiplicative large sieve — first upstream component of a future unconditional Bombieri–Vinogradov pipeline. Statement-audit stage: statements machin…

    Lean

  6. euler-sair-stage2 euler-sair-stage2 Public

    Riemann Labs SAIR Stage 2 — EULER + WILL: certificate-emitting solvers for equational implication. Every claim is a Lean 4 certificate accepted by the competition judge. Sediment vs. technique: the…

    Python