Skip to content
#

zero-sorry

Star

Here are 2 public repositories matching this topic...

Language: All
Filter by language
All 2 Lean 1 Rust 1

SNAPKITTYWEST / sov-kernel-monster

Star 2

Sovereign Quantum Computer — QATAAUM compiler (OpenQASM 2/3, 9-level IR, SABRE) + execution kernel (Fortran 2018, MLIR, ARM64 SVE2, AVX-512, PTX). Jordan Spectral Transformer. Lean 4 formally verified. Blake3+Ed25519 WORM. FSL-1.1.

fortran formal-verification quantum-compiler quantum-computer sovereign openqasm mlir lean4 jacobian-conjecture born-rule snapkitty zero-sorry jordan-spectral-transformer worm-attestation qataaum
  • Updated Jul 24, 2026
  • Rust

DavidFox998 / rh-core-c01-c07

Star 0

Lean 4 RH proof chain C01-C21 via Arakelov geometry of X₀(143). 61 files · 0 sorry · 0 axiom · classical trio only · Mathlib v4.12.0. Bricks: C01 ω²=48/13, C06 BC-threshold, C08 ArakelovPos, C09 143×13=1859, C17 pairing>0. Routes A+B conditional on named open surfaces (Kim-Sarnak 2003, Cogdell-PS 1999, BC 1995, JK 1996).

mathlib riemann-hypothesis lean4 formal-proof clay-mathematics arakelov-geometry x0-143 zero-sorry zero-axiom classical-trio kim-sarnak-2003 bost-connes-1995 cogdell-ps-1999 jk-1996 c01-c21 arakelov-pairing-proved p5-bridge-14 conditional-proof-chain
  • Updated Jun 23, 2026
  • Lean

Improve this page

Add a description, image, and links to the zero-sorry topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the zero-sorry topic, visit your repo's landing page and select "manage topics."

Learn more